Module un_algebra::semigroup::semigroup

Algebraic semigroups.

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.

Functions

associativity

The associativity axiom.