PanLinx
普通话
cmn-000
准紧集
English
eng-000
precompact set
English
eng-000
totally bounded set
PanLex