Syntax definition cleg

Description: Less-than relation for geometric congruences.

	Ref	Expression
Assertion	cleg	$$class{\le }_{𝒢}$$