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