Syntax definition cdom

Description: Extend class definition to include the dominance relation (curly "less than or equal to")

	Ref	Expression
Assertion	cdom	class ≼