Lebesgue Measure

There exists a unique Borel measure on such that, for all with ,

The measure is called Lebesgue measure on .

Proof

Proposition

There is a non-Lebesgue-measurable subset of .

Proof