Definition: Endliche Additivität

Sei eine Grundmenge.
Sei ein Mengensystem über .
Sei eine Mengenfunktion.

Seien mit beliebige paarweise disjunkte Mengen, sodass .

Wir bezeichnen als endlich-additiv, falls: