User:Dfeuer/Subset Relation is Ordering