Sekirov Dictionary

principal ultrafilter

noun1

An ultrafilter such that every set belonging to it is the superset of some fixed singleton set.

forms

principal ultrafilters

This dictionary works without the internet: on your phone · in Chrome