A compact subset of a Hausdorff space is closed
If K is compact in the Hausdorff space X, then K is closed in X.
atlas-compact-subset-closed-in-hausdorff · canonical_mko
A compact subset of a Hausdorff space is closed
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data