Definition: Inhaltsfunktion

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

Wir bezeichnen auch als Inhalt auf , falls gilt:

  • und
  • ist endlich-additiv.