In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space \mathbb {P} ^{n} over k that is the zero-locus of some finite family of homogeneous ... Wikipedia