Setiap bola terbuka \(B\) terbuka dalam \(Y\text{;}\) karena \(f\) kontinu, teorema pencirian memberi bahwa \(f^{-1}(B)\) terbuka dalam \(X\text{.}\)