For f integrable on a product space X × Y, ∫∫ f d(μ×ν) = ∫(∫ f dν) dμ = ∫(∫ f dμ) dν. Justifies iterated integration.