Misalkan \(f:(X,\tau_X)\to(Y,\tau_Y)\) suatu fungsi dan andaikan prapeta setiap himpunan terbuka dalam \(Y\) terbuka dalam \(X\text{.}\) Untuk setiap \(a\in X\) dan setiap lingkungan \(N\) bagi \(f(a)\text{,}\) telah ditunjukkan bahwa \(f^{-1}(N)\) merupakan lingkungan bagi \(a\text{.}\) Jelaskan bagaimana hal ini menunjukkan bahwa \(f\) merupakan fungsi kontinu.