projective variety in Polish

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