Setiap \(x\) berada dalam \(U_x\text{.}\) Jika \(y\in U_x\cap U_z\text{,}\) maka \(y\in U_y\subseteq U_x\cap U_z\text{.}\) Jadi \(\mathcal B_{\min}\) memenuhi cakupan dan syarat irisan basis. Lebih jauh, untuk setiap \(U\in\tau\) berlaku \(U=\bigcup_{x\in U}U_x\text{,}\) sehingga basis ini menghasilkan tepat topologi \(\tau\text{.}\)