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