PanLinx
русский
rus-000
ограниченная компактность
English
eng-000
bounded compactness
PanLex