Module un_algebra::magma::add_magma

Algebraic additive magmas.

An algebraic additive magma is a set S, equipped with a binary operation +, called addition. S is closed under addition.

Axioms

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

References

See references for a formal definition of an additive magma.

Traits

AddMagma

An algebraic additive 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.