Syntax definition coi

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

	Ref	Expression
Assertion	coi	class OrdIso ( 𝑅 , 𝐴 )