This theorem says that the preimage of a null set under a [measure-preserving transformation](/page/Measure-Preserving%20Transformation) is again null. It records a basic stability property needed when arguments are made up to almost-everywhere equality.