To show that is a -ring, it is necessary to prove that it is closed under at most countable union and difference. The union part is really very easy and we prove the difference part. Suppose are two arbitrary elements of where and , we need to show that their difference also assumes the form of and therefore belongs to . By taking at most countable union of sets in , the Theorem B in page 22 of this book can be extended to -ring case, that is, If is any class of sets, then every set in can be covered by at most countable union of sets in . So where , it means , so is disjoint from , and both is disjoint from both and by the same argument. It can be proved that if both sets and are disjoint from both sets and , we have , so . Because is in and is in by definition of -ring, the result above is of the desired form and the easy statement is verified not very easily.