User:Jshflynn/Inklusionsrelation ist Halbordnung

Satz
Die Inklusionsrelation ist eine Definition:Halbordnung.

Beweis
Eine Halbordnungsrelation ist reflexiv, antisymmetrisch und transitiv.

Diese Eigenschaften ergeben sich aus Inklusionsrelation ist Reflexiv, Inklusionsrelation ist Antisymmetrisch und Inklusionsrelation ist Transitiv.