Tonelli's Theorem

A theorem in measure theory ensuring that for a nonnegative measurable function on a product measure space the multiple integral equals each iterated integral, possibly with value +∞, without requiring integrability hypotheses on the function.