Tahap 1. Untuk \(x\in A\text{,}\) gunakan sifat basis \(\B\) untuk mencari \(B\in\B\) yang memuat \(x\text{.}\)

Tahap 2. Jika \(x\in(B_1\cap A)\cap(B_2\cap A)\text{,}\) cari \(B_3\in\B\) dengan \(x\in B_3\subseteq B_1\cap B_2\text{.}\)

Tahap 3. Tunjukkan pula bahwa setiap \(A\cap O\text{,}\) dengan \(O\) terbuka dalam \(X\text{,}\) merupakan gabungan anggota \(\B_A\text{.}\)