Es sei X {\displaystyle {}X} ein kompakter topologischer Raum und Y {\displaystyle {}Y} ein Hausdorffraum.
Dann ist eine stetige Abbildung φ : X → Y {\displaystyle {}\varphi \colon X\rightarrow Y} eigentlich.
