Untuk setiap \(U\) yang terbuka dalam \((Y,\sigma)\text{,}\) definisi \(\sigma\) menjamin bahwa \(p^{-1}(U)\in\tau\text{.}\) Inilah tepat syarat kekontinuan \(p\text{.}\)