Semigruppo

semigruppo

s. m. [comp. di semi- e gruppo]. – Genericam., mezzo gruppo, metà di un gruppo. In matematica, struttura algebrica costituita da un insieme in cui è definita un’operazione (o legge di composizione interna) binaria associativa: per es., l’insieme dei numeri naturali forma un semigruppo sia rispetto all’addizione, sia rispetto alla moltiplicazione (v. gruppo nel sign. 2 f, e monoide nel sign. 2).