PanLinx
普通话
cmn-000
仿紧空间
English
eng-000
fully normal space
English
eng-000
paracompact space
PanLex