Category:Subset Relation is Transitive