vanishing ideal

Noun

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