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}.}] \label{def:Deompose}

2: A convex game $\G{V}{f}$ with the characteristic cost function $f$ is decomposable if

3: \begin{equation} \label{eq:DecompeEq}

4:     f(X) = \sum_{C \in \Pat} f(X \cap C), \quad X \subseteq V,

5: \end{equation}

6: for some decomposer $\Pat \in \Pi(V)$ such that $\Pat \neq \Set{V}$; Otherwise, $\G{V}{f}$ is indecomposable. For a decomposable convex game $\G{V}{f}$, the subgame $\G{C}{f}$ is convex for each $C \in \Pat$.

7: \end{definition}