Benar. Pemetaan \(f\) membawa setiap himpunan tertutup di \(X\) ke himpunan kompak, dan karena \(Y\) Hausdorff, citra itu tertutup. Jadi \(f\) adalah bijeksi kontinu yang tertutup, sehingga inversnya kontinu.