Semigruppe

Frå Wikipedia – det frie oppslagsverket

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