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(A_n) }

where the infimum is taken over all countable collections of open intervals A_n such that A A_n and l(A_n) is the standard length of the interval A_n.

Context