Module un_algebra::monoid::monoid

Algebraic monoid trait.

An algebraic monoid is a semigroup S, with a unique identity element denoted e.

Axioms

∀x ∈ S
 
Identity: ∃e ∈ S: e ∘ x = x ∘ e = x.

References

See references for a formal definition of a monoid.

Traits

Monoid

An algebraic monoid.