Tahap 1: uji apakah \(\{a\}\) tertutup sekaligus buka.

Tahap 2: komplemennya ialah \(\{b,c,d\}\text{,}\) yang juga tercantum dalam \(\tau\text{.}\)