Rasiowa-Sikorski lemma

Rasiowa-Sikorski lemma on aksiomaatilises hulgateoorias oluline tulemus, mis väidab teatud omadustega filtri olemasolu. Sellele tulemusele toetub forsseerimise meetod. 

Formuleering
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.

Kategooria:Hulgateooria