Module un_algebra::magma::mul_magma

Algebraic multiplicative magmas.

An algebraic multiplicative magma is a set S, equipped with a binary operation ×, called multiplication. S is closed under multiplication.

Axioms

Closure: ∀x, y ∈ S, x × y ∈ S.

References

See references for a formal definition of a multiplicative magma.

Traits

MulMagma

An algebraic multiplicative magma.

Functions

closure	The closure axiom. Guaranteed by Rust's type system and implemented only for completeness.
num_closure	The numeric closure axiom. Guaranteed by Rust's type system and implemented only for completeness.