This question comes from the 4th line of the proof of Theorem E of Halmos' "Measure Theory", in page 25, which says that **C** is a sigma-ring. Because this website does not allow new users to link images, I rephrase it as follows: Suppose A is any subset of the whole space X, E is any collection of subsets of X, S(E) denotes the sigma-ring generated by E, $E\cap A$ means the collection formed by all intersections of elements from E with A. Then the collection of all sets of the form $B\cup(C-A)$ where B is from S($E\cap A$) and C is from S(E) is a sigma-ring.


I just can not prove this because I can not make up the difference $[B1\cup(C1-A)]-[B2\cup(C2-A)]$ into a form of $B\cup(C-A)$. Could you please help me prove this statement? Thanks!



A question about sigma-ring
How about choosing $B = B\_1 - B\_2 $ and $C = C\_1 -C\_2$, we have $ B \in S(E \cap A)$ by property of $ S(E \cap A) $, and $ C \in S(E) $, by property of $S(E)$.


The fact that this works can be seen by observing that both $B1 \cup (C1−A)$, and $B2\cup (C2−A)$ are in fact both disjoint unions. $B\_1,B\_2$ has everything to do with $A$ and $C\_1 -A, C\_2 -A$ has nothing to do with $A$ at all.


ps: I don't know why you use the and and or symbol here instead of intersection and union symbol.


