하우스도르프 공간
임의의 두 콤팩트 하우스도르프 공간 formula_12와 formula_13에 대하여, 다음이 성립한다.