 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.