# dioid

> semiring such that 𝑎≤𝑏⇔∃𝑐:𝑎+𝑐=𝑏 is a partial order

**Wikidata**: [Q3028851](https://www.wikidata.org/wiki/Q3028851)  
**Source**: https://4ort.xyz/entity/dioid