[−][src]Module un_algebra::semigroup::add_semigroup

Algebraic additive semigroups.

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).

See references for a formal definition of an additive semigroup.

An algebraic additive semigroup.

associativity	The associativity axiom.
num_associativity	The numeric associativity axiom.