Hausdorff space
A space where any two distinct points have disjoint neighborhoods.
A Hausdorff space (or T2 space) is a topological space such that for any distinct points there exist neighborhoods of and of with .
Equivalent characterizations
Equivalently, one can require and to be disjoint open sets.
Remarks
Hausdorffness implies T1 and guarantees uniqueness of limits for convergent sequences; it also ensures that compact subsets are closed.
Examples
- Every metric space is Hausdorff.
- An infinite set with the cofinite topology is not Hausdorff.