 Compact-to-Hausdorff continuous bijection theorem

A continuous bijection from a compact space to a Hausdorff space is a homeomorphism. It maps closed sets to compact sets, which are closed in the codomain, so it is a closed map and its inverse is continuous.