Misalkan \(f:(X,\tau_X)\to(Y,\tau_Y)\) dan asumsikan bahwa \(f^{-1}(O)\) terbuka dalam \(X\) setiap kali \(O\) terbuka dalam \(Y\text{.}\) Menurut definisi, apa yang perlu ditunjukkan untuk membuktikan bahwa \(f\) merupakan fungsi kontinu?