半群
semigroup
以下の2つの条件を満たすものが半群となる。
集合$ Mに二項演算$ M \times M \to M, (x, y) \mapsto x \star yが定義されていること。
$ \starは具体的にどんな演算子であるかは明確ではない。
つまり、任意のマグマが1つ定義されていること。
二項演算子$ \starは結合法則を満たす。
$ (x \star y) \star z = x \star (y \star z)