Union from Synthetic Basis is Topology

Theorem
Let $\mathcal B$ be a synthetic basis on a set $X$.

Let $\displaystyle \tau = \left\{{\bigcup \mathcal A: \mathcal A \subseteq \mathcal B}\right\}$.

Then $\tau$ is a topology on $X$.

$\tau$ is called the topology arising from, or generated by, the basis $\mathcal B$.

Also see

 * Definition:Topology Generated by Synthetic Basis
 * Definition:Generated Topology