Noun
projective variety (plural projective varieties) (algebraic geometry) A Zariski closed subvariety of a projective space; the zero-locus of a set of homogeneous polynomials that generates a prime ideal.