Syntax definition ctopon

Description: Syntax for the function of topologies on sets.

	Ref	Expression
Assertion	ctopon	$$class\mathrm{TopOn}$$