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