1: \begin{definition}\label{DefCondSyst}

2: 	A \textbf{path-dependent canonical class} will be a set of probability measures $(\mathbbm{P}^{s,\eta})_{(s,\eta)\in\mathbbm{R}_+\times \Omega}$ defined on the canonical space $(\Omega,\mathcal{F})$. It will verify the three following items.

3: 	\begin{enumerate}

4: 		\item For every  $(s,\eta)\in\mathbbm{R}_+\times \Omega$, $\mathbbm{P}^{s,\eta}( \omega^s=\eta^s)=1$;

5: 		\item for every $s\in\mathbbm{R}_+$ and $F\in\mathcal{F}$, the mapping

6: 		\\

7: 		$\begin{array}{ccl}

8: 		\eta&\longmapsto& \mathbbm{P}^{s,\eta}(F)\\

9: 		\Omega&\longrightarrow&[0,1]

10: 		\end{array}$ is $\mathcal{F}^o_s$-measurable;

11: 		\item for every  $(s,\eta)\in\mathbbm{R}_+\times \Omega$, $t\geq s$  and $F\in\mathcal{F}$,

12: 		\begin{equation} \label{DE13}

13: 			\mathbbm{P}^{s,\eta}(F|\mathcal{F}^o_t)(\omega)=\mathbbm{P}^{t,\omega}(F)\text{ for }\mathbbm{P}^{s,\eta}\text{ almost all }\omega.

14: 		\end{equation}

15: 	\end{enumerate} 

16: This implies in particular that for every  $(s,\eta)\in\mathbbm{R}_+\times \Omega$ and $t\geq s$, then $(\mathbbm{P}^{t,\omega})_{\omega\in\Omega}$ is a regular 

17: conditional expectation of $\mathbbm{P}^{s,\eta}$ by $\mathcal{F}^o_t$, see the Definition above Theorem 1.1.6 in \cite{stroock} for instance.

18: \\

19: \\

20: A path-dependent canonical class $(\mathbbm{P}^{s,\eta})_{(s,\eta)\in\mathbbm{R}_+\times \Omega}$ will be said to be \textbf{progressive} if for every $F\in\mathcal{F}$, the mapping 

21: $(t,\omega)\longmapsto \mathbbm{P}^{t,\omega}(F)$ is $\mathbbm{F}^o$-progressively measurable.

22: \end{definition}

23: