Set Difference and Intersection form Partition/Corollary 2

Theorem
Let $$\varnothing \subset T \subset S$$.

Then $$T$$ and $$\mathcal{C}_S \left({T}\right)$$ form a partition of $$S$$.

Proof
First we note that:


 * $$\varnothing \subset T \implies T \ne \varnothing$$
 * $$T \subset S \implies T \ne S$$

from the definition of proper subset.

From the definition of relative complement, we have $$\mathcal{C}_S \left({T}\right) = S - T$$.

It follows that $$T \ne S \iff \mathcal{C}_S \left({T}\right) \ne \varnothing$$ from Set Difference Self Null.

From Intersection with Relative Complement, $$T \cap \mathcal{C}_S \left({T}\right) = \varnothing$$, that is, $$T$$ and $$\mathcal{C}_S \left({T}\right)$$ are disjoint.

From Union with Relative Complement, $$T \cup \mathcal{C}_S \left({T}\right) = S$$, that is, the union of $$T$$ and $$\mathcal{C}_S \left({T}\right)$$ forms the whole set $$S$$.

Thus all the conditions for a partition are satisfied.