principal ultrafilter (English, noun)
expansion: principal ultrafilter (plural principal ultrafilters)
Senses:
topics: mathematics
sciences
glosses: An ultrafilter such that every set belonging to it is the superset of some fixed singleton set.
Forms:
form: principal ultrafilters
tags: plural