Corollary

— In order that a subset N of X be locally negligible for $\nu$, it is necessary and sufficient that the intersection of $\pi^{-1}(N)$ with the set of points $t \in T$ where $g(t) > 0$ be locally negligible for $\mu$.