PanLinx
русский
rus-000
компактифицируемое пространство
English
eng-000
compactifiable space
PanLex