EDB — 0M7

[0M7] Prerequisiti:[0KM]↺↻.Dato \(X\), date \({\mathcal C}\) base per una topologia \(𝜎\) su \(X\), e \({\mathcal B}\) base per una topologia \(𝛽\) su \(X\), si ha che \(𝜎⊇𝛽\) se e solo se per ogni \(x∈ X\) e per ogni \(B∈ {\mathcal B},B∋ x\) esiste \(C∈ {\mathcal C},C∋ x, C⊆ B\).