Suppose that a set $S$ is partitioned into pairwise disjoint parts $S_1, S_2, ..., S_n$. Path counting: In a $3 \times 3$ grid, if you can move 1 step upward or 1 ...