Hausdorff space
임의의 콤팩트 생성 약한 하우스도르프 공간 formula_17가 주어졌다고 하자. 그렇다면,