Category:Equivalence of Definitions of Topology Generated by Synthetic Basis