Subset Relation is Transitive

Theorem
The subset relation is transitive:


 * $\paren {R \subseteq S} \land \paren {S \subseteq T} \implies R \subseteq T$