PanLinx
русский
rus-000
тривиальный ультрафильтр
English
eng-000
trivial ultrafilter
PanLex