1: \begin{definition}

2: According to the Bondareva-Shapley theorem, the core $\mathcal{C}$ of a CCG $\Gamma$ is non-empty, if and only if for every function $f(\mathcal{S})$, where $\forall n\in\mathcal{N}:\sum_{\mathcal{S}\in\mathcal{P}_n}f(\mathcal{S})=1$, and $0\leq f(\mathcal{S})\leq 1$, the following inequality holds:

3: \begin{equation}

4: \sum_{\mathcal{S}\in\mathcal{P}\setminus\phi}f(\mathcal{S})\nu(\mathcal{S})\leq\nu(\mathcal{N}).

5: \label{eqn:ShapelyTheorem}

6: \end{equation}

7: Here, $\mathcal{P}$ is the power set of $\mathcal{N}$, and $\mathcal{P}_n\subseteq\mathcal{P}$ that has $n$ as one of the elements in all subsets.

8: \label{def:ShapelyTheorem}

9: \end{definition}

10: