Definition:Semiring of Sets/Also defined as

Semiring of Sets: Also defined as
Some sources specify that a semiring of sets has to be non-empty, but as one of the conditions is that it already contains $\O$, this criterion is superfluous.