On (X×Y, ℳ⊗𝒩), the unique σ-finite measure μ⊗ν with (μ⊗ν)(A×B) = μ(A) ν(B). Underlies Fubini/Tonelli.