Определение:
Будем говорить, что

-алгебры

и

условно независимы относительно

-алгебры

, если

, где

( т.е. обычное УМО от индикатора

)
Показать, что это эквивалентно тому, что


В каком направлении подумать?
В одну сторону - пробовал из первого выразить

, подставить во второе, чтобы получить тождество, но получилось выражение

, доказать которое пока не выходит. В другую не думаю, что будет лучше.