En matemàtiques, un semigrup és una estructura algebraica consistent en un conjunt dotat d'una llei de composició interna associativa. Un semigrup és doncs, un magma associatiu.[1][2]
Formalment, és un semigrup si:
- (llei de composició interna).
- (associativitat)
Quan un semigrup té a més element neutre s'anomena monoide.[3][4]