- If element x belongs to set B and set A, the intersection A∩B also contains x. Not B (complement) does not contain x, so the intersection with A does not contain x.
- If x does not belong to set B but does belong to set A, A∩B does not contain x, but since not B does, its intersection with A contains x.
- If x does not belong to set A, then neither intersection contains x.
- If we consider the union of the two intersections from 1 and 2 above, x belongs to the union in each case.
- For 3 above, the union does not contain x.
For all elements x in A, the final union consists of all such elements, therefore the union is set A itself.