PanLinx
English
eng-000
countably compact set
普通话
cmn-000
可数紧集
PanLex