Category:Union from Synthetic Basis is Topology