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

Spire Denne matematikkartikkelen er ei spire. Du kan hjelpe Nynorsk Wikipedia gjennom å utvide han.