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

Мат. fixed ultrafilter, principal ultrafilter

Источник: Полный русско-английский словарь на Gufo.me