Hausdorff-space definition

(topology) A topological space in which for any two distinct points x and y, there is a pair of disjoint open sets U and V such that and .

If X is a Hausdorff space, then compacts sets in X are closed.