Definition:Product of Measurable Spaces