Lebesgue Integral over set of measure of zero Is it defined for a non-measurable, non-negative function? It would make sense, as clearly $s=0$ is a simple function, and $s\leq f$ for any $f$, whether it is measurable or not. So the clasically defined $$\int_E f\,d\mu=\sup\left\{\int_E s\,d\mu\ : \ s \text{ is a measurable simple function }, s\leq f \right\} $$
would exist and be equal to $0$, if $E$ is of measure $0$.
I don't think it is defined for non-measurable functions, but what I wrote above would seem like a convenient addition - couldn't it help with the whole idea of "almost everywhere" and make it easier/simpler, at least in some cases?

No, because by the definition of $\int_E f\,d\mu$, it is limit of $\int_E s\,d\mu$ for $s$ simple measurable function, and a simple measurable function is by definition is a linear combination of indicator functions of measurable sets, and its the measurability of this sets thats ensures the measurability of the simple functions, which make all the rest make sense. If these sets are not measurable, you cannot conclude to the measurability of the simple "wannabe" measurable function.
