Module un_algebra::magma::magma

Abstract magmas.

An algebraic magma is a set S, equipped with a binary operation ∘. S is closed under the operation ∘.

Axioms

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

References

See references for a formal definition of a magma.

Traits

Magma	An abstract algebraic magma.
MagmaLaws	Laws of magmas. The closure axiom defined here is guaranteed by Rust's type system and is implemented only for completeness.