blob: ab2cb213a4a985908fc51065d3ba9e743ec61726 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
In mathematics, a semigroup is an algebraic structure consisting of a
set together with an associative binary operation. A semigroup
generalizes a monoid in that there might not exist an identity element.
It also (originally) generalized a group (a monoid with all inverses) to
a type where every element did not have to have an inverse, thus the
name semigroup.
WWW: http://github.com/ekmett/semigroups/
|
