Projective completion
= Projective completion
A projective completion of an <affine variety> $X$ is a <projective variety> containing $X$ as a dense open subvariety. Homogenizing affine defining equations and taking their projective zero set gives the projective closure, although it may add singularities at infinity.
= Projective closure
{synonym}