Axiom:Ring of Sets Axioms/Axioms 2

Definition
A ring of sets $\RR$ is a system of sets with the following properties:

Also see

 * Equivalence of Definitions of Ring of Sets