Definition:Topology Generated by Synthetic Basis/Definition 2

Definition
Let $S$ be a set.

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