Maß auf Sigmaalgebra/Direkt/Definition

Maß

Es sei eine Menge und eine -Algebra auf . Dann heißt eine Abbildung

ein Maß auf , wenn folgende Bedingung erfüllt ist.

Für jede abzählbare Familie von paarweise disjunkten Teilmengen , , aus gilt