Definition, synonyms and related words
A Zariski closed subvariety of a projective space; the zero-locus of a set of homogeneous polynomials that generates a prime ideal.