1: \begin{definition}[Posterior]

2: Let $\v\Psi\given\v{x}$ be the unique conditional random variable given by the Disintegration Theorem, where uniqueness follows from almost sure uniqueness by virtue of the marginal measure $\pi_{\v{x}}(\cdot) = \int_{\c{M}_1(\N)}\pi_{\v{x}\given\v\Psi}(\cdot\given\v\Psi) \d\pi_{\Psi}$ being absolutely continuous with respect to the counting measure on $\N^N$, which has no non-empty null sets.

3: \end{definition}

4: