ハウスドルフ空間
ハウスドルフ空間はT1空間であり、その中で一点集合は閉集合になっている。さらに、ハウスドルフ空間のコンパクト部分集合は閉集合である。ハウスドルフ空間における2つの交わらないコンパクト部分集合はそれらの近傍によって分離できる。