MathLabs

Problem 2

Let S={1,2,…,2014}S=\{1,2,\ldots,2014\}. For each non-empty subset T⊆ST\subseteq S, one of its members is chosen as its representative. Find the number of ways to assign representatives to all non-empty subsets of SS so that if D⊆SD\subseteq S is a disjoint union of non-empty subsets A,B,C⊆SA,B,C\subseteq S, then the representative of DD is also the representative of at least one of A,B,CA,B,C.
Step 1 of 3: A representative propagates
r(X)=x1whenever x1=r(S) and x1∈Xr(X)=x_1\quad\text{whenever }x_1=r(S)\text{ and }x_1\in X
Detailed analysis

Write r(X)r(X) for the representative of XX and let x1=r(S)x_1=r(S). If XX contains x1x_1 and has at most 2012 elements, complete XX by two nonempty disjoint sets to obtain SS; the rule forces r(X)=x1r(X)=x_1. If XX has 2013 elements, apply the rule first to each pair containing x1x_1 and then to XX, giving the same conclusion.