Tahap 1. Untuk cakupan, periksa langsung bahwa \(x\in U_x\text{.}\)

Tahap 2. Jika \(y\in U_x\cap U_z\text{,}\) ingat bahwa \(U_x\) dan \(U_z\) adalah himpunan terbuka yang memuat \(y\text{.}\)

Tahap 3. Definisi \(U_y\) lalu memberi inklusi yang diperlukan untuk syarat irisan basis.