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 $𝜎\supseteq 𝛽$ if and only if for every $x\in X$ and for every $B\in \mathcal{B},B\ni x$ there exists $C\in \mathcal{C},C\ni x,C\subseteq B$.