PanLinx
русский
rus-000
слабо регулярный ультрафильтр
English
eng-000
weakly regular ultrafilter
PanLex