1: \begin{definition}

2: Consider some nondecreasing family of sets $\{\mathcal{Q}_t\subset L^2(\mathcal{F}_T)\}$ and some driver $F$, satisfying the assumptions of Theorem \ref{thm:BSDEExist}. Suppose that, for each $t$, for any $Q^1, Q^2\in\mathcal{Q}_t$, the corresponding BSDE solutions $(Y^1,Z^1), (Y^2, Z^2)$ satisfy

3: \begin{enumerate}[(i)]

4: \setcounter{enumi}{2}

5: \item $\mathbb{P}$-a.s., for all $i$, the $i$th component of $F$, given by $e_i^*F$, satisfies

6: 	\[e_i^*F(\omega, t, Y_t^2, Z_t^1) - e_i^*F(\omega, t, Y_t^2, Z_t^2)\geq\min_{j\in \mathbb{J}_t}\{e_i^*(Z^1_t-Z^2_t)(e_j-E[X_{t+1}|\mathcal{F}_{t}])\},\]

7: 	with equality only if $e_i^*Z_t^1\sim_{M_{t+1}}e_i^*Z_t^2$.

8: 	\item $\mathbb{P}$-a.s., if

9: 	\[Y^1_t -F(\omega, t, Y_t^1, Z_t^1) \geq Y^2_t-F(\omega, t, Y_t^2, Z_t^1)\]

10: 	then $Y^1_t\geq Y^2_t$,

11: 	\end{enumerate}

12: 	(cf. assumptions (iii) and (iv) of Theorem \ref{thm:CompThm} and the assumption of Corollary \ref{cor:StrictComp}).

13: Then we shall call $F$ a \textbf{balanced driver} on $\{\mathcal{Q}_t\}$.

14: \end{definition}

15: