Definition:Isomorphic Ordered Sets