Пусть
-- алгебра всех множеств
,
, измеримых по
Жордану относительно (счетно-аддитивной) меры
, продолжающей
на алгебру
подмножеств
, порожденную
.
Тогда для множеств из
имеет место
совпадение, при
, значений меры Лебега и
.
Как следствие, для канторового дисконтинуума
:
.
Если
и
-- сходящаяся последовательность в
, то
.
Вместе с тем, для непрерывных функций
имеет место
: