Lebesgue measure on the real line
Length of an interval. This is the largest monotonic function which correctly
measures all intervals.
The Lebesgue outer measure, as an outer measure of ℝ.
Lebesgue measure on the Borel sets
The outer Lebesgue measure is the completion of this measure. (TODO: proof this)