什么是 نظام باي？

النظام من النمط $\pi$ هو عائلة صامدة بالتقاطعات المنتهية. والنظام من النمط $\lambda$ (أو صنف دينكين) هو عائلة $\mathcal D$ تحقق: $X \in \mathcal D$؛ و $A, B \in \mathcal D$ مع $A \subseteq B$ $\Rightarrow$ $B \setminus A \in \mathcal D$؛ و $A_n \uparrow A$ مع $A_n \in \mathcal D$ $\Rightarrow$ $A \in \mathcal D$.