Problem 2
Let . For each non-empty subset , one of its members is chosen as its representative. Find the number of ways to assign representatives to all non-empty subsets of so that if is a disjoint union of non-empty subsets , then the representative of is also the representative of at least one of .
Step 3 of 3: Count the four-element endgame
Detailed analysis
Four elements remain. Choose the representative of their whole set in four ways. After that, three pairs are forced; the four triples and three remaining pairs may be assigned freely, giving the displayed factor. Multiplication simplifies to the answer.