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