Tahap 1. Setiap subhimpunan \(X\) kompak karena \(X\) berhingga.

Tahap 2. Pilih satu anggota \(\tau\) yang komplemennya tidak tercantum dalam \(\tau\text{.}\)

Tahap 3. Ingat bahwa suatu himpunan tertutup tepat ketika komplemennya terbuka.