If S is a semigroup, then the intersection of any collection of subsemigroups of S is also a subsemigroup of S.

• 如果 S 是半群，则任何 S 的子半群的搜集的交集也是 S 的子半群。