Perlu ditunjukkan bahwa untuk setiap \(a\in X\) dan setiap lingkungan \(N\) bagi \(f(a)\) dalam \(Y\text{,}\) himpunan \(f^{-1}(N)\) merupakan lingkungan bagi \(a\) dalam \(X\text{.}\)