Tahap 1. Ubah keanggotaan setiap \(U_\beta\) menjadi keterbukaan \(p^{-1}(U_\beta)\text{.}\)

Tahap 2. Prapeta juga mempertahankan irisan.

Tahap 3. Di sinilah keberhinggaan \(J\) diperlukan untuk memakai aksioma topologi pada \(\tau_X\text{.}\)