$\mathcal{F}$の部分σ-代数 $\mathcal{G}$ と、$A \in \mathcal{G}$ に対し、 $\mathcal{G}$-可測なr.v. $P(A \mid \mathcal{G})$ を次のように定義する。

ただし $\mathbb{1}_A$ は $A$ の指示関数を意味する。