Definition

λ\lambda-system


a class \mathcal{L} of subsets of Ω\Omega such that

  1. Ω\Omega \in \mathcal{L}
  2. A,B,ABBAA, B \in \mathcal{L}, A \subset B \implies B \setminus A \in \mathcal{L}
  3. An,AnAnA_n \uparrow, A_n \in \mathcal{L} \implies \cup A_n \in \mathcal{L}

mnemonic: collection of sets including the space itself that is closed under increasing limits (hence λ\lambda) and subset subtraction