In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space P n {\displaystyle \mathbb {P} ^{n}} over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Wikipedia