Proof:A = (A ∩ B) ∪ (A ∖ B)
2. Now we wish to show that , so we choose an arbitrary . By definition of the union, we know that either or . In the first case, we have (by definition of ∩), while in the second case we have by definition of ∖. In either case we have asdesired.