Null subset of a differential manifold

Definition

Let $M$ be a differential manifold. A subset $S$ of $M$ is said to have measure zero or to be a null subset if the following holds: for any open subset $U$ of $M$ and any diffeomorphism between $U$ and $\mathbb {R} ^{n}$, the image of $U\cap S$ under the diffeomorphism has measure zero in $\mathbb {R} ^{n}$.

The well-definedness of this notion rests on the fact that any diffeomorphism between open subsets of $\mathbb {R} ^{n}$ maps measure zero subsets to measure zero subsets (this is not true for arbitrary homeomorphisms, and hence the notion of a measure zero subset does not make sense for a topological manifold). Further information: Diffeomorphism implies nullset-preserving

Facts

• Any submanifold of codimension at least 1, is a measure zero subset
• Sard's theorem is a generalization of the above