完全加法的集合函数