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.