Assertion: filter | /r/ObjectUse | used in forcing
Facets:
value: often
type: TEMPORAL
Source sentences:
text: A filter in a poset can be created using the Rasiowa–Sikorski lemma, often used in forcing.