Tahap 1. Bandingkan daftar \(\tau\) dengan himpunan kuasa \(\mathcal P(X)\text{.}\)

Tahap 2. Komplemen setiap subhimpunan dari \(X\) juga merupakan subhimpunan dari \(X\text{.}\)

Tahap 3. Ingat nama topologi yang menjadikan setiap subhimpunan terbuka.