PanLinx
русский
rus-000
локально компактное замыкание
English
eng-000
locally compact closure
PanLex
