Schema/Morphismus/Abgeschlossene Einbettung/Definition

Abgschlossene Einbettung (Schemata)

Ein Schemamorphismus ${}f\colon Y\rightarrow X$ heißt abgeschlossene Einbettung, wenn das Bild ${}f(Y)$ eine abgeschlossene Teilmenge von ${}X$ ist, ein Homöomorphismus ${}Y\rightarrow f(Y)$ vorliegt und der zugehörige Garbenhomomorphismus ${}{\mathcal {O}}_{X}\rightarrow f_{*}{\mathcal {O}}_{Y}$ surjektiv ist.