This is an old revision of the document!
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
Context
Context
