Es sei
eine Belegungsfunktion mit dem zugehörigen Summationsmaß μ. Es sei
Zeige, dass μ genau dann σ-endlich ist, wenn T abzählbar ist.