Normality of a compact Hausdorff space
ID: normality-of-a-compact-hausdorff-space
Every compact Hausdorff space is normal: disjoint closed subsets have disjoint open neighbourhoods. Pointwise Hausdorff separation becomes uniform first over one compact closed set and then over the other by taking finite subcovers.
New to topics? Read the docs here!