Categories: Abstract algebra | Ring theory
In abstract algebra, a c-semiring (that is, a constraint-based semiring) is a semiring <A,+,*,0,1> such that: + is idempotent, 1 as its absorbing element and * is commutative.
