# Bondareva–Shapley theorem

(Redirected from Bondareva-Shapley theorem)
Let the pair ${\displaystyle \;\langle N,v\rangle \;}$ be a cooperative game in characteristic function form, where ${\displaystyle \;\;N\;}$ is the set of players and where the value function ${\displaystyle \;v:2^{N}\to \mathbb {R} \;}$ is defined on ${\displaystyle N}$'s power set (the set of all subsets of ${\displaystyle N}$).
The core of ${\displaystyle \;\langle N,v\rangle \;}$ is non-empty if and only if for every function ${\displaystyle \alpha :2^{N}\setminus \{\emptyset \}\to [0,1]}$ where
${\displaystyle \forall i\in N:\sum _{S\in 2^{N}:\;i\in S}\alpha (S)=1}$
${\displaystyle \sum _{S\in 2^{N}\setminus \{\emptyset \}}\alpha (S)v(S)\leq v(N).}$