定义 λ类

自然语言

给定集类 $\mathcal{E} \subset 2^{\mathbb{R}^n}$
若满足
（1）（含全集） $\mathbb{R}^n \in \mathcal{E}$
（2）（真差运算封闭） $\forall A,B \in \mathcal{E}$ 且 $A \subset B$ 成立 $A \backslash B \in \mathcal{E}$
（3）（渐张集列极限封闭） $\forall \{A_n\} \subset \mathcal{E}$ 且 $\forall n \in \mathbb{N} , A_n \subset A_{n+1}$ 成立

$$ \bbox[5pt]{ \bigcup_{n=1}^{\infty}{A_n} \in \mathcal{E} } $$

则称集类 $\mathcal{E}$ 为λ类