Tahap 1: uji apakah suatu singleton mempunyai komplemen yang tercantum dalam \(\tau\text{.}\)

Tahap 2: bandingkan \(\{c\}\) dengan \(\{a,b,d\}\text{.}\)