Let , be Linear order sets.
Say , are order-isomorphic if
there is a bijection that is order-preserving:
We call such an an order-isomorphism.
Note that is also an order-isomorphism, so