Etale/Zusammenhängende Basis/Schnitt ist offene Einbettung/Fakt/Beweis

Beweis

Zum Beweis der abgeschlossenen Einbettung betrachten wir das kommutative Diagramm

was wegen ein Diagramm über ist. Nach Voraussetzung ist eine abgeschlossene Einbettung, sodass dies auch für gilt. Der Isomorphismus

zeigt, dass ebenfalls eine abgeschlossene Einbettung ist.