principal ultrafilter

English

Noun

principal ultrafilter (plural principal ultrafilters)

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

Antonyms

Hypernyms