Assertion: filter | /r/CapableOf | use the rasiowa–sikorski lemma
Facets:
Source sentences:
text: A filter in a poset can be created using the Rasiowa–Sikorski lemma, often used in forcing.