Apa itu aljabar-σ hasil kali?

Untuk ruang terukur $(X, \mathcal A)$ dan $(Y, \mathcal B)$, aljabar-$\sigma$ hasil kali $\mathcal A \otimes \mathcal B$ pada $X \times Y$ dibangkitkan oleh persegi panjang $A \times B$ (dengan $A \in \mathcal A$ dan $B \in \mathcal B$) — yakni sebuah sistem-$\pi$. Untuk $E \subseteq X\times Y$ dan $x \in X$, penampangnya adalah $E_x = \{y : (x,y) \in E\}$; sedangkan untuk sebuah fungsi $f$ pada hasil kalinya, $f_x = f(x, \cdot)$.