PanLinx
English
eng-000
precompact space
普通话
cmn-000
准紧空间
русский
rus-000
предкомпактное пространство
PanLex