Участник:Isbur/Функциональный анализ I/Карточки/Произведение пространств с мерами/Продолжение

Распространив функцию $\mu \times \nu$ по аддитивности на всевозможные конечные объединения попарно непересекающихся измеримых прямоугольников, мы получим конечно-аддитивную функцию на алгебре ${\mathcal {S}}$.