1: \begin{definition}

2: Let $F$ be a driver for a discrete time BSDE (\ref{eq:BSDEgen}) satisfying the conditions of Theorem \ref{thm:BSDEExist}. We define $\mathfrak{O}_t$, the ``one step values'' under $F$,  to be the set of ordered pairs

3: \[\mathfrak{O}_t:=\{(Y_t, Y_{t+1})\},\] where $Y_t$ is the time $t$ solution to the BSDE with driver $F$ and terminal condition $Y_{t+1}$ at time $t+1\leq T$.

4: \end{definition}

5: