semigruppo

In matematica, un semigruppo è un insieme munito di un'operazione binaria associativa.In altre parole per semigruppo si intende una struttura algebricaespressa da una coppia (A,*) con A insieme e * funzione definita su tutto A × A a valori in A per la quale si ha . Equivalentemente si può definire come semigruppo ogni magma associativo.