§ Combinations notation in bijective combinatorics
They explicitly write as . This makes it better for
"future uses", where it explicitly allows us to think of as
breaking into things we choose and things we don't choose.
This makes the recurrence:
That is, we are reducing on either the first component () or on the
second component (), in the smaller set ().