Definition: Endlicher Maßraum

Der Maßraum ist endlich, wenn endlich ist.