定义 1.2.4 (事件域)

设 $\Omega$ 是基本事件空间, $\mathcal{F}$ 是 $\Omega$ 的一些子集所构成的集合 (类). 如果满足下列条件:

1. $\Omega \in \mathcal{F}$.
2. 若 $A\in \mathcal{F}$, 则 $\bar{A}\in \mathcal{F}$.
3. 若 $A_n\in \mathcal{F},n=1,2,\cdots$, 则 $\bigcup _{n=1}^{\infty }{A}_n\in \mathcal{F}$, 则称 $\mathcal{F}$ 为事件域, 并称 $\mathcal{F}$ 中的元素 (即 $\Omega$ 的某个子集) 为事件.