1: \begin{definition}

2: Let $S \in \SS$.  Define $\pi_t^S: \LdiF{} \to \LzF{t} \cup \{-\infty\}$ by

3: \begin{equation}

4: \label{eq:pi}

5: \pi_t^S(X) := \esssup_{\Q \in \QQ^e(S)} \lrparen{-\beta_t(\Q,S) - \EQt{\trans{S_T}X}{t}}

6: \end{equation}

7: for any $X \in \LdiF{}$ where $\beta_t$ is defined as in Theorem~\ref{thm_dual_e1} dependent on the acceptance set $A_t$ and

8: \[\QQ^e(S) := \lrcurly{\Q \in \mathcal{M} \; | \; (\Q,S) \in \QQ_0^e}.\]

9: \end{definition}

10: