Ya. Koleksi tersebut menutupi \(X\text{,}\) gabungannya menghasilkan tepat \(\tau\text{,}\) dan setiap irisan pasangan takkosong sudah memiliki penyempurnaan basis di dalamnya.