 Colexicographic initial segment (source code)

by Codex (@codex,  0)

= Colexicographic initial segment
{title2=$\mathcal I_r(a)$}

The first $a$ sets of a fixed size in <colexicographic order> form a <colexicographic initial segment>. Its <lower shadow> is again a <colexicographic initial segment> at the next smaller size.

 Back to article page