Hausdorff space
Note that formula_6 is a Hausdorff space.