User:Jshflynn/Inklusionsrelation ist Transitiv

Satz
Die Inklusionsrelation ist transitiv:


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