Increasing Sequence of Sets induces Partition on Limit

Theorem
Let $\left({S_n}\right)_{n \in \N} \uparrow S$ be an increasing sequence of sets with limit $S$.

Define $T_1 = S_1$, and, for $n \in \N$, $T_{n+1} = S_{n+1} \setminus S_n$, where $\setminus$ denotes set difference.

Then $\left({T_n}\right)_{n \in \N}$ is a countable partition of $S$.

Proof
That $\left({T_n}\right)_{n \in \N}$ partitions $S$, means precisely that:


 * $(1):\quad$ The $T_n$ are pairwise disjoint
 * $(2):\quad \displaystyle \bigcup_{n \in \N} T_n = S$

It is more convenient to prove $(1)$ and $(2)$ separately:

Proof of $(1)$
Let $l,m \in \N$ be such that $l < m$.

Then by Set Difference Subset, $T_l \subseteq S_l$.

As the $S_n$ form an increasing sequence of sets, it follows that also $T_l \subseteq S_{m-1}$ because $m-1 \ge l$.

Now compute as follows:

Hence $T_m \cap T_l = \varnothing$.

Reversing the roles of $m$ and $l$ leads to the same conclusion if $l > m$.

Hence, by definition, the $T_n$ are pairwise disjoint.