하우스도르프 공간
Note that formula_6 is a Hausdorff space.