Hausdorff space
Functionally Hausdorff space