Definition: Subtraktivität von Mengenfunktionen

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

Wir bezeichnen als subtraktiv, falls: