EDB — 0M1

[0M1] Prerequisiti:topologia generata [0J1]↺↻, [0KX]↺↻, [0KZ]↺↻.Riprendiamo [0KZ]↺↻. Sia di nuovo $X$ un insieme e $\mathcal{B}$ una famiglia di sottoinsiemi che verifica le precedenti proprietà (a),(b) viste in [0KX]↺↻; sia $𝜏$ la più piccola topologia che contiene $\mathcal{B}$. Si verifichi $\mathcal{B}$ è una base per $𝜏$.

Possiamo dunque dire che una famiglia che soddisfa (a),(b) è una base per la topologia che essa genera. Questo risponde all’interrogativo posto in [0KV]↺↻.