Syntax definition cexid

Description: Extend class notation with the class of all the internal operations with an identity element.

	Ref	Expression
Assertion	cexid	class ExId