ラショーヴァ＝シコルスキの補題

数学基礎論で、ラショーヴァ＝シコルスキの補題（ヘレナ・ラショーヴァとローマン・シコルスキの名に因む）とは、強制法関連のテクニックで使われるもっとも基本的な補題の一つである。強制法の議論で、強制概念("P", ≤)の部分集合 "D" が "P" 内で稠密であるとは、"p" ∈ "P" であるなら "d" ≤ "p" となる "d" ∈ "D" が存在することである。
"P" のフィルター"F" が"D"-ジェネリックであるとは、
となることである。ここで、ラショーヴァ＝シコルスキの補題とは、:
という命題のことである。
証明.
証明は以下のように為される。： "D" は可算であるから、"D" の要素である"P" の稠密部分集合に"D"1, "D"2, …と名前を付けていくことができる。 
仮定から、"p" ∈ "P" が存在する。するとDの要素の稠密性から、
"p"1 ≤ "p" となるように "p"1 ∈ "D"1 を取ることができる。 
同様にして … ≤ "p"2 ≤ "p"1 ≤ "p" （ただし、"p""i" ∈ "D""i"）
となるように取れる。
そこで、"G" = { "q" ∈ "P" : ∃ "i", "q" ≥ "p""i"} とおくと、
これは条件を満たす "D"-ジェネリックフィルターである。//
この補題はMA(formula_1)と同値である。