Let and be -finite measure spaces. Properties.
The set

is a pi-system of subsets of .
We define the product -algebra as: