Maximal chain in a Boolean lattice (source code)

= Maximal chain in a Boolean lattice

= Maximal chains in a Boolean lattice
{synonym}

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.