Estos conjuntos Lebesgue-medibles forman una σ-álgebra, y la medida de Lebesgue se define como λ("A") = λ("A") para todo conjunto medible "A".