User:Jshflynn/Inklusionsrelation ist Reflexiv

Satz
Die Inklusionsrelation ist reflexiv:


 * $\forall S: S \subseteq S$