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)