Tahap 1: uji apakah setiap himpunan buka sejati gagal memiliki komplemen buka.

Tahap 2: komplemen yang mungkin ialah \(\{b,c,d\},\{a,c,d\},\{c,d\},\{b,d\},\{b,c\},\{d\},\{c\}\text{.}\)