Theorem

Set union decomposition theorem

The union of two sets can be decomposed into elements that belong only to the first set, only to the second set, and to both sets.
In article

Sets and Operations on Sets

In this post I explain sets, equality, subsets, unions, intersections, differences, and basic set theorems.