Equivalence of Definitions of Topology Generated by Synthetic Basis

Theorem
Let $S$ be a set.

Let $\BB$ be a synthetic basis on $S$.