Syntax definition codz

Description: Extend class notation with the order function on the class of integers modulo N.

	Ref	Expression
Assertion	codz	class odZ