Ya. Keluarga \(\B_A\) memenuhi kedua kriteria basis pada \(A\text{,}\) dan gabungan anggota-anggotanya tepat menghasilkan seluruh himpunan \(A\cap O\) dengan \(O\in\tau\text{.}\)