Closed subset of a compact set is compact

Closed subset of compact is compact: Let $(X,d)$ be a metric space , let $K\subseteq X$ be compact , and let $F\subseteq K$ be closed in $X$ (equivalently, closed in the subspace $K$). Then $F$ is compact.

This permanence property is used constantly: once compactness is established, it automatically applies to all closed substructures.