Definitie
S is een halfgroep als
- de operatie * een binaire associatieve operatie is.

Notatie
( S, * )

Andere naamgevingen
Semi-groep

Voorbeeld
(Gehele getallen, +)  want 3 + 5 = 5 + 3