ハウスドルフ空間
コンパクトではない空間の一点コンパクト化formula_18がハウスドルフ空間であれば以下の性質（普遍性）を満たす事が知られている：