Ya. Gabungan anggota koleksi itu adalah \(X\) bila salah satu anggotanya \(X\text{;}\) jika tidak, gabungannya tetap tidak memuat \(p\text{.}\) Irisan berhingga semua faktor \(X\) adalah \(X\text{;}\) bila ada faktor lain, irisannya tidak memuat \(p\text{.}\) Jadi semua operasi yang diwajibkan tetap menghasilkan anggota \(\tau_{\overline p}\text{.}\)