of sets, each containing some player-types, and test the interim allocation under consideration against all these sets … that any interim allocation about to become infeasible be locally greedy: that its domain be covered by a family of subsets …

of sets, each containing some player-types, and test the interim allocation under consideration against all these sets … that any interim allocation about to become infeasible be locally greedy: that its domain be covered by a family of subsets …