半群(Semigroup) 是一个集合,配合一个封闭的二元运算,满足结合律。

具体地说,对于一个集合 和一个二元运算 ,如果对于任意的 ,都有 ,那么我们称 是一个半群。

如果一个半群有单位元,那么它就成为了一个单位半群(Monoid)。