Two subsets of the set are to be chosen so that their union is and their intersection contains exactly two elements. In how many ways can this be done, assuming that the order in which the subsets are chosen does not matter?
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
Each element is in both subsets, only the first, or only the second: choose the 2 shared, 2^3 for the rest, then halve for unordered pairs.
Solution
Call the subsets and . Because , every element of lies in at least one of them, so each element is in exactly one of three regions: only, only, or both.
First count ordered pairs . Exactly two elements are in both: ways to pick them. Each of the remaining three elements is in only or in only: ways. That gives ordered pairs.
Since order does not matter, each unordered pair has been counted twice, once as and once as , provided . And always holds here: the three non-shared elements belong to exactly one of the two subsets, so the subsets differ. Therefore the number of unordered pairs is
The answer is .
Why this works
A pair of subsets covering is the same thing as a labeling of each element by its Venn region, so "count pairs of sets" becomes "count labelings," a multiplication-principle problem. The union condition removes the "neither" region; the intersection condition fixes how many get the "both" label. The final step, converting ordered to unordered, is safe only after checking that no pair is its own swap.
Alternative approach
Fix the two shared elements ( ways). Then is determined by which of the other three elements it takes, and takes the rest; choosing 's share as a subset of elements gives ordered choices, or unordered splits (a split and its complement are the same pair). Total .
The trap
Forgetting to divide by 2 for unordered pairs (answering 80, not listed, and then guessing) or halving when the two subsets could be equal; here they never are.
Common mistakes
- Forgetting to divide by 2 for unordered pairs (answering 80, not listed, and then guessing) or halving when the two subsets could be equal; here they never are.
- Allowing an element to be in neither subset (three choices plus "neither" per element), which violates the union condition.
Techniques
Map the objects to something easier to count · Exploit symmetry to reduce work or pair up objects