Convex cooperative game ($v(S\cup T)+v(S\cap T)\ge v(S)+v(T)$)

A transferable utility game is convex when its coalition-value function is supermodular. Equivalently a player's marginal contribution cannot decrease when the preceding coalition grows. The implication follows by applying the displayed inequality to $A\cup \{i\}$ and $B$ with $A\subseteq B$, $i\notin B$; the reverse implication follows by adding successive marginal inequalities. This property concerns coalition values, not geometrical convexity of a strategy space.

Increasing marginal contributions imply $m_i^{\pi }\ge v((S\cap P_i)\cup \{i\})-v(S\cap P_i)$ for $i\in S$. Summing telescopes to ${\sum }_{i\in S}{m}_i^{\pi }\ge v(S)$, while efficiency follows by telescoping over the full ordering. Hence every marginal contribution vector is in the core of a cooperative game. The core is a convex set, so their average, the Shapley value, is in it too. This gives an elementary proof of nonemptiness and stability for a convex cooperative game.