Ya. Setiap gabungan anggota \(\tau_p\) adalah kosong atau memuat \(p\text{.}\) Setiap irisan berhingga anggotanya adalah kosong bila salah satu faktor kosong, dan jika tidak, tetap memuat \(p\text{.}\) Semua hasil tersebut kembali berada dalam \(\tau_p\text{.}\)