Definitions for "Hausdorff"
A space is Hausdorff (or T2) if every two distinct points have disjoint neighbourhoods. Every Hausdorff space is T1.
A space is Hausdorff (or ) if every two distinct points have disjoint neighbourhoods. Hausdorff spaces are always .