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