Syntax definition coi

Description: Extend class definition to include the canonical order isomorphism to an ordinal.

	Ref	Expression
Assertion	coi	class OrdIso ( R , A )