Syntax definition cconn

Description: Extend class notation with the class of all connected topologies.

	Ref	Expression
Assertion	cconn	$$class\mathrm{Conn}$$