EDB — 0M7

[0M7] Prerequisites:[0KM]↺↻.Given \(X\), given a base \({\mathcal C}\) for a topology \(𝜎\) on \(X\), and a base \({\mathcal B}\) for a topology \(𝛽\) on \(X\), we have that \(𝜎⊇𝛽\) if and only if for every \(x∈ X\) and for every \(B∈ {\mathcal B},B∋ x\) there exists \(C∈ {\mathcal C},C∋ x, C⊆ B\).