In mathematica, un semigruppo es un structura algebric que consiste de un insimul e un operation binari tal que le condition associativitate es satisfacite. Illo es un magma associative.

Vide etiamModificar