Category:Intersection of Subsemigroups