Module un_algebra::monoid::add_monoid

Algebraic additive monoid traits.

An algebraic additive monoid is an additive semigroup S, with a unique additive identity element, called zero, and denoted 0.

Axioms

∀x ∈ S

Identity: ∃0 ∈ S: 0 + x = x + 0 = x.

References

See references for a formal definition of an additive monoid.

Traits

AddMonoid	An algebraic additive monoid.
NumAddMonoid	A "numeric" algebraic additive monoid.