ما معنى جبر جدائي سيغما؟

من أجل فضاءين قابلين للقياس $(X, \mathcal A)$ و $(Y, \mathcal B)$، يتولّد الجبر الجدائي من النمط $\sigma$ $\mathcal A \otimes \mathcal B$ على $X \times Y$ بواسطة المستطيلات $A \times B$ (حيث $A \in \mathcal A$ و $B \in \mathcal B$) — وهي نظام من النمط $\pi$. ومن أجل $E \subseteq X\times Y$ و $x \in X$، تكون الشريحة $E_x = \{y : (x,y) \in E\}$؛ ومن أجل دالة $f$ على الجداء، $f_x = f(x, \cdot)$.