σ-finite product measure: ∫∫ f d(μ×ν) = ∫(∫ f dν) dμ. Tonelli for ≥ 0 functions; Fubini for integrable.