Syntax definition cmgc

Description: Extend class notation with the monotone Galois connection.

	Ref	Expression
Assertion	cmgc	class MGalConn