[0KM] Sia \({\mathcal B}\) una base per una topologia \(𝜏\) su \(X\); preso un aperto \(A∈ 𝜏\), per ogni \(x∈ A\) possiamo scegliere un \(B_ x∈ {\mathcal B}\) con \(x∈ B_ x\), e tali che \(A=⋃_{x∈ A}B_ x \).
[0KN]↺↻
