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

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