Return to Glossary.

Formal Definition

A semigroup that has an identity element for the binary operation.

Informal Definition

A set that has an associative binary operation and has an identity element for that binary operation.


Replace this text with examples


Replace this text with non-examples

Additional Comments

Add any other comments you have about the term here

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License