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]↺↻.