Definiția cu ID-ul 489427:

Explicative DEX

SEMIGRUP s. n. (mat.) mulțime în care fiecărei perechi de elemente i se asociază un element din aceeași mulțime (produsul lor); monoid. (după fr. demi-groupe)