Δ-システム補題
Δ-システム補題(デルタ-システムほだい)は組み合わせ集合論で用いられる定理で、強制概念の中の互いに両立しない要素による集合のサイズの上界を導くのに使われる。
例として、連続体仮説が成立しないときにZFCが無矛盾であることの証明でその構成要素の一つとして使われる。