In mathematics, given two measurable spaces and measures on them, one can obtain a product measurable space and a product measure on that space. Wikipedia