Module un_algebra::semigroup::mul_semigroup

Algebraic multiplicative semigroups.

An algebraic multiplicative semigroup is a multiplicative magma M, where the multiplication operation × is associative.

Axioms

∀x, y, z ∈ M

Associativity: (x × y) × z = x × (y × z).

References

See references for a formal definition of a multiplicative semigroup.

Traits

MulSemigroup

An algebraic multiplicative semigroup.

Functions

associativity	The associativity axiom.
num_associativity	The numeric associativity axiom.