1: \begin{definition}[minimal separators {\cite[Theorem 3.38]{Fujishige2005}}] \label{def:MinSep}

2:     For a separable submodular set function $f \colon 2^V \mapsto \Real $, a partition $\Pat\in \Pi(V)$ is the set of minimal separators if, for all $X \in \Pat$, $X$ is a separator and any $X' \subsetneq X$ such that $X' \neq \emptyset$ is not a separator of $f$.%\footnote{The minimal separator set is necessarily a partition of $V$\cite{Fujishige2005}.}

3: \end{definition}