Definition:Set Ordered by Subset Relation