PanLinx
русский
rus-000
метрическая компактификация
English
eng-000
metric compactification
PanLex