Hausdorff space
A compact subset of a Hausdorff space is closed.