ultrafiltered set

Мат. ультрафильтрованное множество