Definition:Ordered Structure Isomorphism