главный ультрафильтр

Мат. fixed ultrafilter, principal ultrafilter