Semigruppe

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