vanishing ideal

noun1

1. •
   An ideal consisting of all polynomials (belonging to a certain polynomial ring) which zero out within a given algebraic variety.