1: \begin{definition}[Decomposable Convex Game {\cite[Theorems 3.32 and 3.38, Lemma 3.37]{Fujishige2005}}\footnote{This definition is based on the concept of the separator of a disconnected submodular system in \cite{Fujishige2005,Bilxby1985}, where the minimal separators are also called the elementary separators in \cite[Section 3]{Bilxby1985} and the principal partition of a polymatroid in \cite{FujishigePincStruct}.}] \label{def:DecomposeGame}

2:     The convex game $\G{V}{H}$ is decomposable if

3:     $$ H(V) = \sum_{C \in \Pat} H(C),$$

4:     for some proper partition $\Pat$ of user set $V$. Here, $\Pat$ is called a decomposer and each $C \in \Pat$ forms a subgame $\G{C}{H}$ that is convex. A game $\G{V}{H}$ is indecomposable if it has only one decomposer $\Set{V}$.

5: \end{definition}