コンパクト空間からハウスドルフ空間への連続な全単射写像は、どのような性質を持つか。

この条件下では、逆写像の連続性が自動的に保証される。