ein Morphismus von Schemata \(\varphi :X\to Y\) derart, daß es ein dichtes offenes Unterschema U von Y gibt, so daß \({\varphi }^{-1}U\) dicht in X ist und \(\varphi \) biregulär in allen Punkten von U ist.

Eine birationale Korrespondenz zwischen Schemata X und Y ist ein abgeschlossenes Unterschema Z ⊂ X × Y so, daß die Projektionen Z → X, Z → Y birationale Morphismen sind.