Let denote the Lebesgue outer measure on , and let . Then is Lebesgue measurable if and only if for every .
Suppose is a set with outer measure zero, and be any subset of .
Then by the monotonicity of outer measure.
The other direction follows by countable subadditivity of outer measure.