Subset Relation is Transitive

Theorem
$$\left({R \subseteq S}\right) \land \left({S \subseteq T}\right) \Longrightarrow R \subseteq T$$