Compact subset of a Hausdorff space
ID: compact-subset-of-a-hausdorff-space
Every compact subset of a Hausdorff space is closed. For a point outside the compact set, separate it from each point of the set and use a finite subcover to obtain one neighbourhood disjoint from the whole set.
New to topics? Read the docs here!