A measure on a product of measure spaces constructed from the measures on each of the individual spaces by taking the measure of the product of a finite number of measurable sets, one from each of the measure spaces in the product, to be the product of the measures of these sets.