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