Definition:Semiring of Sets/Also defined as

From ProofWiki
Jump to navigation Jump to search

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.