Syntax definition cqmap

Description: Extend the definition of a class to include the quotient map of a class.

	Ref	Expression
Assertion	cqmap	class QMap 𝑅