Axiom:Semiring of Sets Axioms/Axioms 1

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

$\SS$ is a semiring of sets $\SS$ satisfies the following axioms:

These criteria are called the semiring of sets 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