Petunjuk M.5.1.

Tahap 1. Hanya ada dua himpunan terbuka.
Tahap 2. Kedua himpunan itu saling berkomplemen.
Tahap 3. Tidak ada komplemen lain yang dapat menghasilkan himpunan tertutup tambahan.
in-context