filter

in order theory, a nonempty, downward‐directed, upward‐closed subset of a preordered set