terms of null sets, the following equivalence has been styled a Fubini's theorem:
* For and

Measure-theoretic properties

Let be a measure space. We have:

* (by definition of ).
* Any countable union of null sets is itself a null set (by countable subadditivity