Solution (source code)

= Solution

A set $E\subseteq[0,1]$ is null when for every $\varepsilon>0$ it can be covered by countably many open intervals whose lengths sum to less than $\varepsilon$. Equivalently its <Lebesgue outer measure> is zero. This definition does not presuppose measurability of $E$.