Let and be -finite measure spaces. Measure > Properties. The set is a pi-system of subsets of . We define the product -algebra as: