A chain C1⊆C2⊆...⊆Cm in P(n) is symmetric if ∣Ci+1∣=∣Ci∣+1, for all i=1,...,.m−1, and ∣C1∣+∣Cm∣=n.
Sperner's lemma shows that there is a partition of the power set into (⌊n/2⌋n) chains. But these could be asymmetric.
Proposition: For n≥1, there is a partition of P(n) into symmetric chains.