Es seien M und N zwei abzählbare Mengen, die beide mit der σ-Algebra aller Teilmengen und mit dem Zählmaß (genannt μ bzw. ν) versehen seien.
a) Zeige, dass M und N σ-endliche Maßräume sind.
b) Zeige, dass das Produktmaß μ⊗ν auf M×N ebenfalls das Zählmaß ist.