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