Syntax definition cple

Description: Extend class notation with "less than or equal to" for posets.

	Ref	Expression
Assertion	cple	class le