свободный ультрафильтр

Мат. free ultrafilter