Simplicial order on the discrete cube (${\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.