Tahap 1. Irisankan setiap anggota \(\tau\) dengan \(A\text{,}\) lalu hapus hasil yang berulang.

Tahap 2. Ulangi prosedur yang sama untuk \(Z\text{.}\)

Tahap 3. Bandingkan \(\tau_Z\) dengan himpunan kuasa \(\mathcal{P}(Z)\text{.}\)