Axiom:Ring of Sets Axioms

Also defined as
Some sources neglect to suggest that a ring of sets needs to be non-empty.

Also see

 * Equivalence of Definitions of Ring of Sets
 * Ring of Sets is Semiring of Sets
 * Ring of Sets is Commutative Ring