Assertion: filter | /r/AtLocation | order and lattice theory
Facets:
Source sentences:
text: Filters appear in order and lattice theory, but can also be found in topology, from where they originate.