Tahap 1: keterputusan akan menghasilkan dua anggota \(\tau\) yang saling berkomplemen.

Tahap 2: uji komplemen keenam himpunan buka sejati dalam daftar.