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