Syntax definition cleg

Description: Less-than relation for geometric congruences.

	Ref	Expression
Assertion	cleg	class ≤G