Null Sets Closed under Subset

Theorem
Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Let $N \in \Sigma$ be a $\mu$-null set, and let $M \in \Sigma$ be a subset of $N$.

Then $M$ is also a $\mu$-null set.

Proof
As $\mu$ is a measure, $\mu \left({M}\right) \ge 0$.

Also, by Measure of Subset, $\mu \left({M}\right) \le \mu \left({N}\right) = 0$.

Hence $\mu \left({M}\right) = 0$, and $M$ is a $\mu$-null set.