Axiom:Ring of Sets Axioms/Axioms 3

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

Also see

 * Equivalence of Definitions of Ring of Sets