Category:Definitions/Topology Generated by Synthetic Sub-Basis