This is an old revision of the document!

Commutative semiring

Definition

$X$
$\langle X,+,* \rangle \in \mathrm{CommSemiring}(X)$
$\langle X,+,* \rangle \in \mathrm{SemiRing}(X)$
$a,b\in X$
$a*b=b*a$

Discussion

Reference

Wikipedia: Semiring

Context

Requirements

Semiring

Link to graph
Log In
Improvements of the human condition
limeGraphxioms