Tahap 1. Gunakan prapeta \(p^{-1}(\emptyset)\) dan \(p^{-1}(Y)\text{.}\)

Tahap 2. Prapeta mempertahankan gabungan sebarang dan irisan berhingga.

Tahap 3. Jika topologi lain \(\sigma\) membuat \(p\) kontinu, uji setiap \(U\in\sigma\) terhadap definisi \(\tau_p\text{.}\)