Commutative semiring - Axioms of Choice

Processing math: 100%

Commutative semiring

Definition

context

$X$

definiendum

$\langle X,+,* \rangle \in \mathrm{CommSemiring}(X)$

definiendum

$\langle X,+,* \rangle \in \mathrm{SemiRing}(X)$

$a,b\in X$

postulate

$a*b=b*a$

Discussion

Reference

Wikipedia: Semiring

Parents

Context

Log In

Improvements of the human condition