Syntax definition cassintop

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

	Ref	Expression
Assertion	cassintop	$$class\mathrm{assIntOp}$$