Semigrup (MAT.), mulţime nevidă în care fiecărei perechi ordonate de elemente i se asociază un element din aceeaşi mulţime, numit produsul lor, cu proprietatea (xy) z=x (yz) pentru orice elemente x, y, z ale mulţimii.