User:Dfeuer/Relation of Set Inclusion is Ordering

Theorem
The User:Dfeuer/Definition:Relation of Set Inclusion is an ordering.

Proof
Follows directly from User:Dfeuer/Subclass is Order-Like.