# Category:Definitions/Order Isomorphisms

Let $\phi: S \to T$ be a bijection such that:
$\phi: S \to T$ is order-preserving
$\phi^{-1}: T \to S$ is order-preserving.
Then $\phi$ is an order isomorphism.