Throughout this sequence, we have assumed finiteness fairly gratuitously. It is likely that many of the results can be extended to arbitrary finite sets.
To arbitrary factored sets?
To arbitrary factored sets?