Colexicographic order (source code)

= Colexicographic order
{wiki}

For equal-size finite subsets $A$ and $B$, $A$ precedes $B$ in colexicographic order when the largest element of their symmetric difference belongs to $B$.