Subset Relation is Transitive

Theorem

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

Proof
$$ $$ $$ $$