Module un_algebra::magma::add_magma

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.
AddMagmaLaws	Laws of additive magmas. The closure axiom defined here is guaranteed by Rust's type system and is implemented only for completeness.
NumAddMagmaLaws	Numeric laws of additive magmas. The closure axiom defined here is guaranteed by Rust's type system and is implemented only for completeness.