ハウスドルフ空間
ハウスドルフ空間ではこれらは全て同値になる。