Let and be Measure Spaces Let with the Product measure and Product sigma algebra First Let be a non-negative -Measurable Function. Then the Integral satisfies: Second Let be a -integrable function. Define: and define by: for and otherwise. Then and is integrable with .