Base di una Topologia

Base di una Topologia

Sia $(X,\tau )$ uno spazio topologico,
$\beta \subseteq \tau$ è base della topologia $\tau$ se $\forall U\in \tau ,\exists \{B_i{\}}_{i\in I}\mid U=\bigcup _{i\in I}{B}_i$