Category:Equivalence Relation on Power Set induced by Intersection with Subset