1. 完备事件组

设 $\Omega$ 为试验的样本空间, $B_1,B_2,\cdots ,B_n$ 为试验的一组事件,若有

1. $B_i{B}_j=\varnothing \left(i\ne j;i,j=1,2,\cdots ,n\right)$
2. $\bigcup _{i=1}^n{B}_i=\Omega$

则称 $B_1,B_2,\cdots ,B_n$ 为 $\Omega$ 的一个分划或完备事件组.

由定义可见,若 $B_1,B_2,\cdots ,B_n$ 为 $\Omega$ 的一个分划,则在一次试验中, $B_1,B_2,\cdots ,B_n$ 必有且仅有一个发生.