maximal filter

Мат. максимальный фильтр, ультрафильтр