dioid

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

set of non-negative integers
1