Lebesgue measure

Lebesgue measure is the unique translation-invariant $\sigma$-finite Borel measure on $\mathbb{R}$ normalized by $\lambda ((0,1])=1$. Translation invariance follows by comparing translated measure with $\lambda$ on half-open intervals and applying uniqueness.