Definition:Semiring of Sets/Definition 1

Definition
Let $\SS$ be a system of sets.

$\SS$ is a semiring of sets or semi-ring of sets $\SS$ satisfies the semiring of sets axioms:

Also see

 * Definition:Semiring of Sets/Definition 2 for an alternative definition of the semiring of sets


 * Equivalence of Definitions of Semiring of Sets