Solution
= Solution
A <simple cooperative game> is a <transferable utility game> $(N,v)$ with
$$
\boxed{v:2^N\to\{0,1\},\quad v(\varnothing)=0,\quad v(N)=1,\quad
S\subseteq T\Longrightarrow v(S)\le v(T).}
$$
A <coalition> of value $1$ is a <winning coalition>; a value-$0$ <coalition> loses. The displayed definition uses the usual monotone, nontrivial convention: the empty <coalition> loses and the grand <coalition> wins.