# Injection from compact to Hausdorff implies embedding

From Topospaces

## Statement

Any injective continuous map from a compact space to a Hausdorff space is an embedding; in other words, it is a homeomorphism to its image, when the image is given the subspace topology.

## Proof

### Proof idea

We use two facts: