Definition:Order Isomorphic Well-Orderings