Intersection semigroup & union monoid for ==>>.