Compact Subsets Are Closed Statements Proposition. Every compact subset K of a Hausdorff space (X,τ) is closed. References @Tu11 Proposition A.32