filter
Pronunciation Noun
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.004
Pronunciation Noun
filter (plural filters)
- A device which separates a suspended, dissolved, or particulate matter from a fluid, solution, or other substance; any device that separates one substance from another.
- Electronics or software that separates unwanted signals (for example noise) from wanted signals or that attenuates selected frequencies.
- Any item, mechanism, device or procedure that acts to separate or isolate.
- He runs an email filter to catch the junk mail.
- (figurative) self-restraint in speech.
- He's got no filter, and he's always offending people as a result.
- (mathematics, order theory) 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.
- (order theory) ideal
- Russian: фильтр
filter (filters, present participle filtering; past and past participle filtered)
- (transitive) To sort, sift, or isolate.
- This strainer should filter out the large particles.
- (transitive) To diffuse; to cause to be less concentrated or focused.
- The leaves of the trees filtered the light.
- (intransitive) To pass through a filter or to act as though passing through a filter.
- The water filtered through the rock and soil.
- (intransitive) To move slowly or gradually; to come or go a few at a time.
- The crowd filtered into the theater.
- (intransitive) To ride a motorcycle between lanes on a road
- I can skip past all the traffic on my bike by filtering.
- (to sort) to filter out (something)
- German: filtern
- German: filtrieren
- Italian: filtrare
- Portuguese: filtrar
- Russian: фильтрова́ться
- Spanish: filtrarse
- German: filtrieren, passieren
This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.004