Axiom:Semiring of Sets Axioms

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

Axioms 1
$\SS$ satisfies the semi-ring of sets axioms $\SS$ satisfies the following axioms:

Axioms 2
$\SS$ satisfies the semi-ring of sets axioms $\SS$ satisfies the following axioms:

Also see

 * Definition:Semiring of Sets


 * Equivalence of Definitions of Semiring of Sets