ラショーヴァ＝シコルスキの補題
数学基礎論で、ラショーヴァ＝シコルスキの補題（ヘレナ・ラショーヴァとローマン・シコルスキの名に因む）とは、強制法関連のテクニックで使われるもっとも基本的な補題の一つである。強制法の議論で、強制概念("P", ≤)の部分集合 "D" が "P" 内で稠密であるとは、"p" ∈ "P" であるなら "d" ≤ "p" となる "d" ∈ "D" が存在することである。
"P" のフィルター"F" が"D"-ジェネリックであるとは、
となることである。ここで、ラショーヴァ＝シコルスキの補題とは、:
という命題のことである。