Increasing Sequence of Sets forms Nest

Theorem
Let $\sequence {a_n}$ be an increasing sequence of sets:
 * $\forall k \in \N: S_k \subseteq S_{k + 1}$

Let $c = \set {a_1, a_1, \ldots, a_n, a_{n + 1}, \ldots}$ be the class of all terms of $\sequence {a_n}$.

Then $c$ is a nest.

Proof
Recall the definition of nest:

$c$ is a nest :


 * $\forall x, y \in c: x \subseteq y$ or $y \subseteq x$

Let $a_i$ and $a_j$ be arbitrary elements of $c$.

From Ordering on Natural Numbers is Trichotomy, either $i < j$ or $i = j$ or $i > j$.


 * Case $(1)$

Let $i = j$.

Then we have $a_i = a_j$ and so both $a_i \subseteq a_j$ and $a_j \subseteq a_i$.


 * Case $(2)$

Let $i \ne j$.

, suppose $i < j$.

Then as Subset Relation is Transitive:
 * $a_i \subseteq a_j$