Hausdorff space
콤팩트 하우스도르프 공간 formula_1의 경우,