Projective variety
In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in P n {\displaystyle \mathbb {P} ^{n}} of some finite family of homogeneous polynomials that generate a prime ideal, the defining ideal of the variety.