Δ-システム補題
Δ-システム W とは、集合でその任意の2要素の共通部分が一定になるものをいう。すなわち、ある固定された S (空でもよい) があって、A, B ∈ W でA ≠ B ならば A ∩ B = Sとなる。
Δ-システム補題とは、「有限集合からなる任意の非可算集合は、非可算なΔ-システムを部分集合として含む。」という主張である。