Syntax definition ctb

Description: Syntax for the class of topological bases.

	Ref	Expression
Assertion	ctb	class TopBases