Subset Relation is Transitive

Theorem

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