Jika \(\sigma\) topologi pada \(Y\) yang membuat \(p\) kontinu, uji setiap \(U\in\sigma\) terhadap syarat \(p^{-1}(U)\) terbuka.