Lemma 5.5.5. Let $X$ be a set. Given any collection $\mathcal{B}$ of subsets of $X$ there is a unique topology on $X$ such that $\mathcal{B}$ is a subbase for this topology.

Proof. Omitted. $\square$

There are also:

• 6 comment(s) on Section 5.5: Bases

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).