Есть пространство с мерой

и измеримая функция на нем

. Обозначим через

наименьшую

-алгебру, содержащую систему подмножеств

и

Пусть

- алгебра ячеек на прямой (всевозможные конечные объединения ячеек

, возможно бесконечной длины). Известно, что

это борелевская

-алгебра на прямой. А утверждается следующее:

Включение

очевидно. Непонятно как доказать

.