Axiom:Semiring of Sets Axioms/Axioms 1

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

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

Also see

 * Axiom:Semiring of Sets Axioms/Axioms 2, for an alternative formulation of the axioms of a semiring of sets.


 * Definition:Semiring of Sets


 * Equivalence of Definitions of Semiring of Sets