User:Jshflynn/Inklusionsrelation ist Antisymmetrisch

Satz
Die Inklusionsrelation ist transitiv:


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

Beweis
Folgt aus Gleichheit von Mengen.