Product sigma-algebra
= Product sigma-algebra
{title2=$\mathcal A_1\otimes\mathcal A_2$}
The product sigma-algebra on $X_1\times X_2$ is generated by the measurable rectangles $A_1\times A_2$. It is the smallest sigma-algebra making both coordinate projections measurable.