Subset Relation is Transitive

Theorem
The relation "is a subset of" is transitive:


 * $\left({R \subseteq S}\right) \land \left({S \subseteq T}\right) \implies R \subseteq T$