Es sei φ : X → Y {\displaystyle {}\varphi \colon X\rightarrow Y} eine eigentliche Abbildung zwischen topologischen Räumen X {\displaystyle {}X} und Y {\displaystyle {}Y} . Es sei Y {\displaystyle {}Y} hausdorffsch und lokal kompakt.
Dann ist φ {\displaystyle {}\varphi } abgeschlossen.
