Hausdorff space
임의의 콤팩트 하우스도르프 공간 formula_1에 대하여 다음이 성립한다.