Semigrup

Sebuah set S yang mempunyai operasi binary $S \times S \to S$, dengan operasi $\cdot$ adalah semigroup jika memenuhi:

$$\forall a, b, c \in S, (a \cdot b) \cdot c = a \cdot (b \cdot c)$ (asosiatif).