Definition: Endliche Subadditivität von Mengenfunktionen

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

Seien endlich viele Mengen aus , sodass .

Wir bezeichnen als endlich-subadditiv, falls: