1: \begin{definition}$($Stochastic Kernel$)$\cite[p.~28 and Theorem A.5.2, pp.~316-317]{dupuis-ellis97}\label{stochastic-kernel}{\ \\}

2: Consider the measurable spaces  $({\cal X}, {\cal B}), ({\cal Y}, {\cal A})$.\\

3: A  stochastic Kernels is a mapping $q: {\cal A} \times {\cal X}  \rightarrow [0,1]$ satisfying the following two properties:

4: \item[1)] For every $x \in {\cal X}$, the set function $q(\cdot;x)$ is a probability measure on ${\cal A}$;

5: \item[2)] for every $F \in {\cal A}$, the function $q(F;\cdot)$ is ${\cal B}$-measurable.\\

6: The set of stochastic kernels on $\cal Y$ given $\cal X$ is denoted by ${\cal Q}({\cal Y};{\cal X}).$

7: \end{definition}

8: