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.