Definition of "semiring"