PanLinx
普通话
cmn-000
可数次可加性的函数
English
eng-000
countably subadditive function
PanLex