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