PanLinx
普通话
cmn-000
余导出拓扑
English
eng-000
coinduced topology
PanLex