Tahap 1. Tidak ada topologi pada \(X\) yang dapat memuat himpunan di luar \(\mathcal P(X)\text{.}\)

Tahap 2. Periksa bahwa koleksi semua subhimpunan sendiri memenuhi penutupan gabungan dan irisan.