یک تابع مجموعه‏ای که در آن مقدار تابع در اجتماعی متناهی از مجموعه‏های مجزا برابر با مجموع مقادیر تابع در هریک از آن مجموعه‏هاست

additive set function, finitely additive set function

تابع مجموعه‏ای جمعی