PanLinx
普通话
cmn-000
严格定义的函数
English
eng-000
well-defined function
PanLex