Es seien ( M 1 , μ 1 ) , … , ( M n , μ n ) {\displaystyle {}(M_{1},\mu _{1}),\ldots ,(M_{n},\mu _{n})} endliche Wahrscheinlichkeitsräume und
der Produktraum. Dann gelten folgende Aussagen.