Misalkan \(f:(X,\tau_X)\to(Y,\tau_Y)\) suatu fungsi dan andaikan \(f^{-1}(O)\) terbuka dalam \(X\) setiap kali \(O\) terbuka dalam \(Y\text{.}\) Misalkan \(a\in X\) dan andaikan \(N\) suatu lingkungan bagi \(f(a)\) dalam \(Y\text{.}\) Apa yang dapat disimpulkan dari fakta bahwa \(N\) merupakan lingkungan?