Syntax definition cclintop

Description: Extend class notation with class of closed operations for a set.

	Ref	Expression
Assertion	cclintop	$$class\mathrm{clIntOp}$$