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