Tahap 1. Untuk setiap \(x\text{,}\) karena \(U_x\) terbuka, pilih \(B_x\in\mathcal B\) dengan \(x\in B_x\subseteq U_x\text{.}\)

Tahap 2. Definisi \(U_x\) sebagai irisan semua lingkungan terbuka memuat inklusi balik \(U_x\subseteq B_x\text{.}\)

Tahap 3. Kedua inklusi memaksa \(B_x=U_x\text{;}\) lakukan ini untuk semua \(x\in X\text{.}\)