1: \begin{definition}\label{d:SPDESolution}
2: In the setting of Theorem~\ref{t:FixedMap}, let $U$ be the unique solution to the equation~\eqref{e:AbstractEquation} on $[0, T_\star)$. Then for $t < T_\star$ we define the solution to \eqref{e:SPDE} by
3: \begin{equ}[e:SPDESolution]
4: u_t(x) \eqdef \bigl(\CR_t U_t\bigr)(x)\;.
5: \end{equ}
6: \end{definition}
7: