π-系と λ-系

$X$ の部分集合族 $\mathcal{P}$ が π-系であるとは、有限交叉で閉じること（$P, Q \in \mathcal{P} \Rightarrow P \cap Q \in \mathcal{P}$）をいう。族 $\mathcal{L}$ が λ-系であるとは、(1) $X \in \mathcal{L}$、(2) $A \in \mathcal{L}$ ならば $A^{c} \in \mathcal{L}$、(3) 互いに素な $A_1, A_2, \ldots \in \mathcal{L}$ ならば $\bigsqcup_n A_n \in \mathcal{L}$、を満たすことをいう。