Semigroup

Return to Glossary.

Formal Definition


A semigroup is a set with an associative binary operation.

Example(s)


The set of natural numbers, $\mathbb{N}$, (excluding 0) is a semigroup $( \mathbb{N}, +)$ under addition.

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