ハウスドルフ空間
連続全単射がコンパクト空間を定義域に、かつハウスドルフ空間を終域に持つならば、それは同相である。