Axiom:Semiring of Sets Axioms

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

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

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

Also see

 * Definition:Semiring of Sets


 * Equivalence of Definitions of Semiring of Sets