[−][src]Module un_algebra::magma::magma
Abstract algebraic 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. |
Functions
| closure | The closure axiom. Guaranteed by Rust's type system and implemented only for completeness. |