User:Dfeuer/Relation of Set Inclusion is Ordering
Jump to navigation
Jump to search
Theorem
The User:Dfeuer/Definition:Relation of Set Inclusion is an ordering.
Proof
Follows directly from User:Dfeuer/Subclass is Order-Like.
$\blacksquare$