Module un_algebra::semigroup::semigroup

Algebraic semigroup trait.

An algebraic semigroup is a magma M, where the binary operation ∘ is associative.

Axioms

∀x, y, z ∈ M
 
Associativity: (x ∘ y) ∘ z = x ∘ (y ∘ z).

References

See references for a formal definition of a semigroup.

Traits

Semigroup

An algebraic semigroup.