Fubini Theorem (For indicator functions)

Fubini-Tonelli

Product Measure

Product σ-algebra is the smallest monotone class containing collection of elementary sets

Slices of P stay in their respective σ-algebras

Slices of product measurable function are in measurable in resultant σ-algebras