Current Data About
dioid
| (P279) |
(Q1333055)
|
| (P2534) |
a\le b\iff\exists c\colon a+c=b
|
| (P6104) |
(Q8487137)
|
other details
| aliases |
naturally ordered semiring semiring with monus |
| description | semiring such that 𝑎≤𝑏⇔∃𝑐:𝑎+𝑐=𝑏 is a partial order |
External Links
| (P2671) |
/g/1229kzsw
|