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