Equivalence of Definitions of Sigma-Ring

Definition 1 implies Definition 2
Let $\RR$ be a ring of sets which is closed under countable unions.

We have:

which are exactly $SR \, 1$ and $SR \, 2$.

Then as $\RR$ is closed under countable unions:


 * $\displaystyle A_1, A_2, \ldots \in \RR \implies \bigcup_{n \mathop = 1}^\infty A_n \in \RR$

and so $SR \, 3$ is fulfilled.

Definition 2 implies Definition 1
Let $\RR$ be a system of sets such that for all $A, B \in \RR$:
 * $(SR \, 1): \quad \O \in \RR$
 * $(SR \, 2): \quad A \setminus B \in \RR$
 * $(SR \, 3): \quad \displaystyle \forall A_n \in \RR: n = 1, 2, \ldots: \bigcup_{n \mathop = 1}^\infty A_n \in \RR$

As noted above, $SR \, 1$ and $SR \, 2$ are exactly $RS \, 1_2$ and $RS \, 2_2$.

Let $A, B \in \RR$.

Let $A_1 = A, A_2 = B$ and $A_n = \O$ for all $n = 3, 4, \ldots$

Then:
 * $\displaystyle \forall A_n \in \RR: n = 1, 2, \ldots: \bigcup_{n \mathop = 1}^\infty A_n = A \cup B \in \RR$

Thus criterion $(RS \, 3_2)$ is fulfilled.

So $\RR$ is a ring of sets which is closed under countable unions.