PanLinx
русский
rus-000
полуполное пространство
English
eng-000
semicomplete space
PanLex