Etale/Zusammenhängende Basis/Schnitt ist offene Einbettung/Fakt
Es sei ein zusammenhängendes Schema und sei
eine étaler Schemamorphismus. Es sei
ein Schnitt zu .
Dann ist eine offene Einbettung. Wenn zusätzlich separiert ist, so ist eine abgeschlossene Einbettung.