Jika \(X\) adalah suatu ruang kompak, \(Y\) adalah suatu ruang Hausdorff, dan \(f : X \to Y\) adalah bijeksi kontinu, maka \(f\) adalah suatu homeomorfisme.