1: \begin{definition}

2: Suppose that the class of probability measures $\{P_{

3: X|Y}(\cdot|y)\dvtx \break y \in\Omega_{ Y} \}$ on $\Omega_{ X}$ is dominated

4: by a $\sigma$-finite measure. Then we call the $\sigma$-field $\G^*$ in

5: Theorem \ref {theoremexistenceanduniqueness} the central $\sigma$-field

6: for $Y$ versus $X$, and denote it by $\G_{ Y|X}$.

7: \end{definition}