Let be a Set Function
Then is additive if for all disjoint :