Schema/Morphismus/Einbettung/Offen und abgeschlossen/Definition

Einbettung (Schemata)

Ein Schemamorphismus ${}f\colon Y\rightarrow X$ heißt Einbettung, wenn es eine Faktorisierung

$Y{\stackrel {g}{\longrightarrow }}Z{\stackrel {h}{\longrightarrow }}X$

mit einer offenen Einbettung ${}g$ und einer abgeschlossenen Einbettung ${}h$ gibt.