Hausdorff-compact space The intersection of nested inhabited Hausdorff-compact sets is inhabited Let be a Hausdorff space and be a strictly decreasing sequence of inhabited compact subsets of (i.e. such that for all ). Then topology Proof Follows immediately from Complement characterisation. tidy | en | sembr