Category:Intersection is Associative