Semigruppe

Ei semigruppe er ein algebraisk struktur ${\displaystyle (G,*)}$ som består av ei mengd G og ein binær, assosiativ operasjon ${\displaystyle *}$ på G.