Syntax definition coi

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

	Ref	Expression
Assertion	coi	$$classOrdIso\left(R,A\right)$$