Subset Relation is Transitive

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


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