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

русский	rus-000
главный ультрафильтр

English	eng-000	fixed ultrafilter
English	eng-000	principal ultrafilter

PanLex-PanLinx