Compactness implies closedness

Compactness implies closedness: Let $X$ be a Hausdorff space and let $K\subseteq X$ be compact . Then $K$ is closed in $X$.

In particular, this applies to subsets of any metric space , since metric spaces are Hausdorff.