ультрафильтр

Мат. maximal filter, ultrafilter