Mutual Order Embedding does not imply Order Isomorphism

Theorem
Let $\struct {S_1, \preceq_1}$ and $\struct {S_2, \preceq_2}$ be ordered sets.

Let it be possible for:
 * $\struct {S_1, \preceq_1}$ to be embedded in $\struct {S_2, \preceq_2}$
 * $\struct {S_2, \preceq_2}$ to be embedded in $\struct {S_1, \preceq_1}$.

Then it is not necessarily the case that $\struct {S_1, \preceq_1}$ and $\struct {S_2, \preceq_2}$ are isomorphic.

Proof
Consider the ordered structures:


 * $\struct {S_1, \preceq_1} := \struct {\R, \le}$


 * $\struct {S_2, \preceq_2} := \struct {\hointl {-\dfrac \pi 2} {\dfrac \pi 2}, \le}$

From Real Arctangent Function is Order Embedding into Reals, $\struct {S_1, \preceq_1}$ can be embedded into $\struct {S_2, \preceq_2}$.

From Inclusion Mapping is Order Embedding, $\struct {S_1, \preceq_2}$ can be embedded into $\struct {S_2, \preceq_1}$.

$\struct {\R, \le}$ and $\struct {\hointl {-\dfrac \pi 2} {\dfrac \pi 2}, \le}$ are isomorphic.

From Number of Maximal Elements is Order Property, $\struct {\R, \le}$ and $\struct {\hointl {-\dfrac \pi 2} {\dfrac \pi 2}, \le}$ have the same number of maximal elements.

But we note that:
 * $\struct {\R, \le}$ has no maximal elements
 * $\struct {\hointl {-\dfrac \pi 2} {\dfrac \pi 2}, \le}$ has one maximal element, that is $\dfrac \pi 2$.

It follows by isomorphic.