1: \begin{definition}

2: A \emph{divergence} is a family of convex lower-semicontinuous (with respect to total variation) functions $\P(E) \ni \nu \mapsto \alpha(\nu | \mu) \in [0,\infty]$, for each Polish space $E$ and each $\mu \in \P(E)$, satisfying properties (1-3) of Theorem \ref{th:divergence-characterization}. Given a divergence $\alpha$, the \emph{corresponding (or induced) family of risk measures} is the family $(\rho_\mu)_{\mu,E}$ defined by \eqref{def:inducedriskmeasurefamily}. The \emph{corresponding (or induced) risk measure} is the risk measure $\bar{\rho}$ defined on $L^\infty=L^\infty(\Omega,\F,P)$ by

3: \[

4: \bar{\rho}(X) := \rho_{P \circ X^{-1}}(id),

5: \]

6: where $id$ denotes the identity map on $\R$. Thanks to Theorem \ref{th:divergence-characterization}, $\bar{\rho}$ is well defined. It is straightforward to check that its induced divergence is exactly $\alpha$, and also that $\bar{\rho}_\mu = \rho_\mu$ for each Polish space $E$ and $\mu \in \P(E)$.

7: \end{definition}

8: