Semigrup
tipus d'estructura algebraica / From Wikipedia, the free encyclopedia
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]