Ordering is Equivalent to Subset Relation/Proof 2

Proof
First a lemma:

Lemma
From Subset Relation is Ordering, we have that $\struct {\mathbb S, \subseteq}$ is an ordered set.

We are to show that $\phi$ is an order isomorphism.

$\phi$ is clearly surjective, as every $a^\preceq$ is defined from some $a \in S$.

By the Lemma, $\phi$ is order-preserving.

Suppose that ${a_1}^\preceq \subseteq {a_2}^\preceq$.

We have that:
 * $a_1 \in {a_1}^\preceq$

Thus by definition of subset:
 * $a_1 \in {a_2}^\preceq$

By definition of ${a_2}^\preceq$:
 * $a_1 \preceq a_2$

Thus $\phi$ is also order-reflecting.

Thus it follows that $\phi$ is an order isomorphism between $\struct {S, \preceq}$ and $\struct {\mathbb S, \subseteq}$.