Koleksi \(\mathcal B\) menutupi ruang dan irisan dua anggotanya kembali berbentuk hasil kali dari dua irisan buka. Karena itu semua gabungannya membentuk topologi. Setiap topologi yang memuat \(\mathcal B\) wajib memuat seluruh gabungan tersebut, sehingga \(\tau\) memang yang terkecil. Rubrik: jawaban harus memberi konstruksi semua gabungan dan membuktikan sifat minimalnya, bukan sekadar mengatakan “tambahkan \(A\)”.