Доказательство. Покажем, например, что B = Q y

Покажем, например, что B = Q _y. Действительно, для произвольного фиксированного y₀ имеем:

Равенство A = Q_X доказывается аналогично.

Замечание. Из (1.17) и (1.18) выводятся следующие соотношения

,

,

аналогичные формулам Байеса в теории вероятности.

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