Colexicographic initial segment (${\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.