1: \begin{definition}

2: Let $F$ be the driver for a discrete time BSDE (\ref{eq:BSDEgen}) satisfying the conditions of Theorem \ref{thm:BSDEExist}. We define $\mathfrak{F}$, the zero hedging function associated with $F$, to be 

3: \[\mathfrak{F}(\omega, t, Y_t) := F(\omega, t, Y_t, 0).\]

4: \end{definition}

5: