Asumsinya: untuk setiap himpunan terbuka \(O\subseteq Y\text{,}\) \(f^{-1}(O)\) terbuka dalam \(X\text{.}\) Targetnya: untuk setiap \(a\in X\) dan setiap lingkungan \(N\) bagi \(f(a)\text{,}\) \(f^{-1}(N)\) merupakan lingkungan bagi \(a\text{,}\) sehingga \(f\) kontinu.