汉英词典(图标) 完全可加性集合函数