A Lebesgue measure on Rn is the complete measure λn obtained from the outer measure
λn,∗(E)=inf{k=1∑∞vol(Rk):E⊆k=1⋃∞Rk, each Rk is a measurable rectangle},
where the Rk are half-open boxes and
vol(R)=i=1∏n(bi−ai).
A set E⊆Rn is Lebesgue measurable if it is Carathéodory measurable for λn,∗, and then λn(E)=λn,∗(E).
This construction yields the unique complete, translation-invariant measure on the Lebesgue measurable sets normalized by λn([0,1]n)=1.