 Product measure

The product measure ${⨂}_n{\mu }_n$ is characterized on measurable rectangles depending on finitely many coordinates by the product of their component measures.