ein Morphismus \(X\mathop{\to }\limits^{\pi }Y\) von Schemata so, daßX algebraisches Y-Schema ist und für jeden Morphismus \({Y}^{\text{'}}\to Y\) der induzierte Morphismus \begin{eqnarray}X\times {\rm{y}}{Y}^{\text{'}}={X}^{\text{'}}\mathop{\to }\limits^{\pi \text{'}}{Y}^{\text{'}}\end{eqnarray} abgeschlossen ist (d. h., daß abgeschlossene Teilmengen V' ⊂ X' stets wieder abgeschlossene Bilder haben).

Beispielsweise sind projektive Morphismen über einem Noetherschen Schema eigentlich.