ハウスドルフ空間
任意の位相体はハウスドルフ空間である。逆に、濃度が2以上のハウスドルフ空間は密着空間にはなりえないので、位相体の定義として、