Definition:Order Isomorphism on Well-Orderings (Class Theory)