ultrafilter (English, noun)
expansion: ultrafilter (plural ultrafilters)
Senses:
glosses: A device that performs ultrafiltration.
topics: mathematics
sciences
qualifier: whose subsets are partially ordered by inclusion
glosses: A proper filter which has a law of dichotomy for complements.
raw_tags: of a set
topics: mathematics
order-theory
sciences
glosses: A filter (subset of a poset) that is maximal as a set with respect to the definition of proper filter.
Forms:
form: ultrafilters
tags: plural