principal ultrafilters
English
Noun
principal ultrafilters
plural of
principal ultrafilter