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