Ya. Untuk setiap himpunan terbuka \(O\subseteq Y\text{,}\) prapetanya \(f^{-1}(O)\) merupakan subhimpunan ruang diskret \(X\text{,}\) maka terbuka. Jadi \(f\) kontinu.