Rasiowa-Sikorski lemma

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

FormuleeringRedigeeri

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.