定义 1.3.1 (条件概率)

设 $\left(\Omega ,\mathcal{F},P\right)$ 为概率空间, $A,B\in \mathcal{F}$, 且 $P\left(B\right)>0$, 则定义

$$P\left(A\mid B\right)=\frac{P\left(AB\right)}{P\left(B\right)}\text{\hspace{1em}(1.3.1)}$$

为 $B$ 发生的条件下 $A$ 发生的条件概率.