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 …

An element of the possibly unbounded core of a cooperative game with precedence constraints belongs to its bounded core … if any transfer to a player from any of her subordinates results in payoffs outside the core. The bounded core is the … union of all bounded faces of the core, it is nonempty if the core is nonempty, and it is a continuous correspondence on …