PanLinx
русский
rus-000
вещественная компактификация
English
eng-000
real compactification
PanLex