Simplicial order on the discrete cube
= Simplicial order on the discrete cube
{title2=$\prec_{\mathrm{simp}}$}
Order subsets first by increasing <cardinality> and, within each level, by <lexicographic order>, with the smallest differing coordinate belonging to the earlier set. This convention makes simplicial <initial segments> the extremizers in <Harper theorem>.