Equation 16.5.12899E1F34D705

\begin{equation} E^{\phi }_{\theta }(\varphi )\coloneqq \inf \left\{ E^{\phi }_{\theta }(\psi ):\psi \in \mathcal{E}^{\infty }(X,\theta ;\phi ),\varphi \leq \psi \right\} . \end{equation}