Projective embedding (source code)

= Projective embedding
{title2=$X\hookrightarrow\mathbb P^n$}

A projective embedding realizes a variety as a closed subvariety of <projective space>. A <very ample line bundle> gives such an embedding through its global sections.