Syntax definition ctps

Description: Syntax for the class of topological spaces.

	Ref	Expression
Assertion	ctps	$$class\mathrm{TopSp}$$