vanishing ideal

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