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

