[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]βΊβ»
