Tahap 1. Untuk arah maju, pasangkan himpunan buka-tertutup dengan komplemennya.

Tahap 2. Untuk arah balik, mulai dari pemisahan hipotetis.

Tahap 3. Dalam kedua arah, gunakan fakta bahwa dua bagian saling melengkapi.