Definition:Topology Generated by Synthetic Basis

Definition
Let $S$ be a set.

Let $\mathcal B$ be a synthetic basis of $S$.

Also see

 * Equivalence of Definitions of Topology Generated by Synthetic Basis


 * Union from Synthetic Basis is Topology, which proves that $\tau$ is a topology on $S$


 * Definition:Topology Generated by Synthetic Sub-Basis