Syntax definition ctb

Description: Syntax for the class of topological bases.

	Ref	Expression
Assertion	ctb	$$class\mathrm{TopBases}$$