Множество A {\displaystyle A} называется измеримым по Лебегу, если выполнено равенство
λ ∗ ( A ) + λ ∗ ( I ∖ A ) = λ ( I ) {\displaystyle \lambda ^{*}(A)+\lambda ^{*}(I\backslash A)=\lambda (I)}