Closed Subsets Are Compact Statements Proposition. (@Tu11 Proposition A.30) A closed subset F of a compact topological space (X,τ) is compact.