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

Semiring