instigate::algebra::additive_semi_group Namespace Reference

Additive Semigroup Concept. More...

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

---

Detailed Description

Additive Semigroup Concept.

An additive semigroup is an algebraic structure consisting of a nonempty set together with an associative binary operation "+", which satisfies closure and associative law. In other words, a semigroup is an associative magma.