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{E}_t$, the time $t$ ``endpoints'' under $F$,  to be the set of ordered pairs 

3: \[\mathfrak{E}_t:=\{(Y_t, Q)|Q\in L^\infty(\mathcal{F}_T)\},\] where $Y_t$ is the time $t$ solution to the BSDE with driver $F$ and terminal condition $Q$.

4: \end{definition}

5: