Tahap 1. Ambil sembarang himpunan terbuka \(O\) dalam \(Y\text{.}\)

Tahap 2. Nyatakan \(O\) sebagai gabungan anggota-anggota basis yang termuat di dalamnya.

Tahap 3. Gunakan fakta bahwa prapeta mempertahankan gabungan dan bahwa gabungan himpunan terbuka tetap terbuka.