instigate::algebra::multiplicative_semi_group Namespace Reference

Multiplicative SemiGroup Concept. More...

Classes
struct	tag
	Multiplicative SemiGroup Concept tag. More...
struct	interface
	Interface of the Multiplicative SemiGroup Concept. More...
struct	requirements
	Requirements of the Multiplicative Semi Group Concept. More...

---

Detailed Description

Multiplicative SemiGroup Concept.

An multiplicative 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.