In axiomatic set theory, the Rasiowa–Sikorski lemma named after Helena Rasiowa and Roman Sikorski is one of the most fundamental facts used in the technique of forcing. In the area of forcing, a subset E of a poset is called dense in P if for any... Wikipedia