ein Geradenbündel L auf einem Schema X, für das es eine positive ganze Zahl m und einen endlichen Morphismus f von X in einen projektiven Raum ℙ ^N gibt, so daß \begin{eqnarray}{L}^{\otimes m}=f* {{\mathscr{O}}}_{\Bbb{P}^{N}}\end{eqnarray} (1) gilt. Insbesondere kann man dann m und finden, so daß f eine abgeschlossene Einbettung ist.

Dabei sei \begin{eqnarray}{{\mathscr{O}}}_{{P}^{N}}\end{eqnarray} (1) das Standardgeradenbündel auf ℙ ^N, und für m ∈ ℤ sei das Geradenbündel L ^{⊗ m} folgendermaßen definiert: Für m > 0 ist es das m-fache Tensorprodukt von L, für m < 0 ist es das (−m)-fache Tensorprodukt des dualen Bündels L ^∨, und für m = 0 ist L das triviale Geradenbündel 1.

[1] Fulton, W.: Intersection Theory. Springer-Verlag New York Berlin Heidelberg, 1998.