Colexicographic order (source code)

= Colexicographic order
{wiki}

= Colexicographic
{synonym}

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$.