PanLinx
русский
rus-000
компактно сходящийся
English
eng-000
compactly convergent
PanLex
