Definition: Sigma-Endlicher Maßraum

Der Maßraum ist -endlich, wenn -endlich ist.