ハウスドルフ空間
さらに言えば、コンパクト空間の任意の閉集合はコンパクトであり、ハウスドルフ空間の任意のコンパクト集合は閉集合である。