Hausdorff space
하우스도르프 공간 formula_1 및 콤팩트 집합 formula_61에 대하여, formula_59는 항상 하우스도르프 공간이다.