Semigrup

Un semigrup este o mulțime nevidă înzestrată cu o lege de compoziție asociativă. Nu i se cere nici element neutru, nici elemente simetrizabile.

Exemplu: $({\mathbb{N}}^{\ast },+)$ este semigrup: adunarea e asociativă, dar nu are element neutru acolo, pentru că lipsește $0$.

Vezi și: Asociativitate, Monoid, Grup