Compactness implies closedness

Compactness implies closedness: Let $(X,d)$ be a metric space and let $K\subseteq X$ be compact . Then $K$ is closed in $X$.

This is a key structural property: in metric spaces, compact sets behave like “closed and bounded” objects, and this is one half of that picture.