Tahap 1. Mulai dengan koleksi enam himpunan yang hanya kehilangan \(\{c\}\) dan \(\{b,c\}\) dari \(\mathcal P(X)\text{.}\)

Tahap 2. Verifikasi koleksi itu topologi dan bukan diskret.

Tahap 3. Setiap perluasan ketat harus menambahkan salah satu dari dua himpunan yang hilang; tunjukkan bahwa penambahan itu memaksa seluruh \(\mathcal P(X)\text{.}\)