Category:Set Intersection is Self-Distributive