Semigruppo

Un insieme non vuoto munito di una operazione binaria chiusa $\cdot : A \times A \rightarrow A$ associativa è detto semigruppo