PanLinx
русский
rus-000
одноточечное компактное расширение
English
eng-000
one-point compactification
PanLex
