Produkt von sigmaendlichen Maßräumen/Messbarkeit des Querschnittsmaßes/Fakt

Querschnittslemma

Es seien und zwei -endliche Maßräume und sei eine messbare Teilmenge.

Dann sind die Funktionen

und

messbar.