Page "Compact space" Paragraph 83

* Every continuous map from a compact space to a Hausdorff space is closed and proper ( i. e., the pre-image of a compact set is compact.

) In particular, every continuous bijective map from a compact space to a Hausdorff space is a homeomorphism.