$X\neq\emptyset$ ve $\mathcal{B}\subseteq 2^X$ olmak üzere $$(\exists\tau\subseteq 2^X)(\tau, X\text{'de topoloji})(\mathcal{B}, \tau\text{ için baz})$$$$\Leftrightarrow$$$$\mathbf{b_1)} \ \cup\mathcal{B}=X$$$$\mathbf{b_2)} \ (\forall B_1,B_2\in\mathcal{B})[x\in B_1\cap B_2\Rightarrow (\exists B_3\in\mathcal{B})(x\in B_3\subseteq B_1\cap B_2)]$$ olduğunu gösteriniz.