Fubini's Theorem

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 .