Definition 7.3.2: Outer Measure
If A is any subset of R, define the (Lebesgue) outer
measure of A as:
m*(A) = inf { l(An) }where the infimum is taken over all countable collections of open intervals An such that A An and l(An) is the standard length of the interval An.