filter
UK /ˈfɪltə/US /ˈfɪltɚ/
noun7
- A non-empty upper set (of a partially ordered set) which is closed under binary infima (a.k.a. meets).
- The collection of cofinite subsets of ℝ is a filter under inclusion: it includes the intersection of every pair of its members, and includes every superset of every cofinite set.
- If (1) the universal set (here, the set of natural numbers) were called a "large" set, (2) the superset of any "large" set were also a "large" set, and (3) the intersection of a pair of "large" sets were also a "large" set, then the set of all "large" sets would form a filter.
verb6
forms
filtered · filtering · filtereth · filters · filterest
Phrases with filter