Module un_algebra::semigroup::add_semigroup [−][src]
Algebraic additive semigroup traits.
An algebraic additive semigroup is an additive magma
M, where the addition operation + is associative.
Axioms
∀x, y, z ∈ M
Associativity: (x + y) + z = x + (y + z).
References
See references for a formal definition of an additive semigroup.
Traits
| AddSemigroup |
An algebraic additive semigroup. |
| NumAddSemigroup |
A "numeric" algebraic additive semigroup. |