A Hausdorff space (or T2 space) is a XX such that for any distinct points xyx\neq y there exist UU of xx and VV of yy with UV=U\cap V=\varnothing.

Equivalent characterizations

Equivalently, one can require UU and VV to be disjoint .

Remarks

Hausdorffness implies and guarantees for ; it also ensures that .

Examples
  • Every is Hausdorff.
  • An infinite set with the cofinite topology is not Hausdorff.