instigate::algebra::additive_monoid Namespace Reference

Additive Monoid Concept. More...

Classes
struct	tag
	Additive Monoid Concept tag. More...
struct	interface
	Interface of the Additive Monoid Concept. More...
struct	requirements
	Requirements of the Additive Monoid Concept. More...

---

Detailed Description

Additive Monoid Concept.

This is a "non-intrusive" interface of the additive_monoid conception. In abstract algebra, an additive monoid is an algebraic structure with a single, associative binary operation and an identity element, satisfies all the axioms of an Additive Group with the exception of having inverses. An Additive Monoid with inverses is an Additive Group. Alternatively, an Additive Monoid is an Additive Semigroup with an additive identity element.