Definition: Maß

Sei eine Grundmenge.
Sei eine -Algebra über .
Sei eine Mengenfunktion.

Wir bezeichnen auch als Maß auf , falls gilt:

  • und
  • ist -additiv.

Anmerkung

Verwandtschaft mit dem Prämaß

Maße sind lediglich Prämaße, die auf einer -Algebra definiert sind.