Tahap 1. Himpunan \(\emptyset\) dan \(X\) sudah masuk menurut definisi.

Tahap 2. Bila suatu gabungan anggota \(\tau_p\) tidak kosong, pilih satu anggota keluarga yang tidak kosong dan tanyakan apakah gabungannya memuat \(p\text{.}\)

Tahap 3. Untuk irisan berhingga, pisahkan kasus adanya faktor \(\emptyset\text{.}\) Jika tidak ada, setiap faktor memuat \(p\text{.}\)