Wiktionary
principal ultrafilter
n. (context mathematics English) An ultrafilter such that every set belonging to it is the superset of some fixed singleton set.