distributive lattice, hence generated by a partial order on the set of players. Its core may be unbounded, and the bounded core …, which is the union of all bounded faces of the core, proves to be a useful solution concept in the framework of games with … precedence constraints. Replacing the inequalities that define the core by equations for a collection of coalitions results in a …