定义

设 X 是一个非空集合，X 的幂集 (power set) 记作 P(X)，即 X 的所有子集组成的集合。 X 上的一个 σ-代数 Σ 是 P(X) 的一个子集，满足以下条件:

1. X ∈ Σ: 整个集合 X 属于 σ-代数。
2. 补集封闭性: 如果 A ∈ Σ，那么 A 的补集 A^c 也属于 Σ。
3. 可数并封闭性: 如果 A_1, A_2, A_3, … 是一系列属于 Σ 的集合，那么它们的并集 ∪_{i=1}^∞ A_i 也属于 Σ。