Category:Ordering is Equivalent to Subset Relation