More generally, each compact subset of a Hausdorff space is closed. […] Metric spaces and compact Hausdorff spaces enjoy an even stronger separation property; in either case, disjoint closed sets can always be separated by disjoint open sets.