Maximal chain in a Boolean lattice (source code)

= Maximal chain in a Boolean lattice

A maximal chain in $\mathcal P([n])$ contains one set of every cardinality from zero to $n$, with each set obtained from the preceding one by adding a single element.