Rasiowa-Sikorski lemma
Rasiowa-Sikorski lemma on aksiomaatilises hulgateoorias oluline tulemus, mis väidab teatud omadustega filtri olemasolu. Sellele tulemusele toetub forsseerimise meetod.
Formuleering muuda
Olgu eeljärjestus ning hulga tihedate alamhulkade ülimalt loenduv hulk. Siis eksisteerib iga korral filter omadustega:
- kõigi korral.
Viimase omadusega filtreid nimetatakse ka -geneerilisteks.