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

2: 	A \textbf{path-dependent canonical class} will be a family 

3: $(\mathbbm{P}^{s,\eta})_{(s,\eta)\in\mathbbm{R}_+\times \Omega}$

4:  of probability measures defined on the canonical space $(\Omega,\mathcal{F})$,

5: which verifies the three following items.

6: 	\begin{enumerate}

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

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

9: 		\\

10: 		$\begin{array}{ccl}

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

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

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

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

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

16: 			\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.

17: 		\end{equation}

18: 	\end{enumerate}

19: 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 

20: 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.

21: \\

22: \\

23: 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 

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

25: \end{definition}

26: