Bondareva-Shapley theorem

Etymology
Formulated independently by Olga Bondareva and Lloyd Shapley in the 1960s.

Proper noun

 * 1)  A theorem that describes a necessary and sufficient condition for the non-emptiness of the core of a cooperative game in characteristic function form. The game's core is non-empty if and only if the game is balanced.