dioid (364B)
1 # Dioid 2 3 Semiring where 1 + 1 = 1 4 - Implies [idempotence]: x + x = x 5 - [natural_order]: x <= y si x + y = y 6 7 Also called an "idempotent semiring" 8 9 Freely generated dioid over a set of variables, with no coefficients: [bool_x] 10 - infinite [omega_chain]: 1 < 1 + z < 1 + z + z^2 < ... 11 12 strenghtening: [semiring_absorptive] 13 14 Up: [semiring] 15 16 See also: [kleene_algebra]