principal ultrafilter
Noun
Meaning
principal ultrafilter (plural principal ultrafilters)
(mathematics) An ultrafilter such that every set belonging to it is the superset of some fixed singleton set.
Noun
principal ultrafilter (plural principal ultrafilters)
(mathematics) An ultrafilter such that every set belonging to it is the superset of some fixed singleton set.