The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Order-isomorphic
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