semigroup

半群 semigroup

A semigroup is a set S together with a binary operation ”.” that satisfies the associative property:

For all $a,b,c\in S$, we have $(a.b).c=a.(b.c)$