Здравствуйте, уважаемые.
Я в некотором тупике из-за следующей задачи.
Есть отображение f: X -> Y
Надо проверить, что

где f - образ, A и B

X
То есть надо доказать - верно или нет. Известно, что это верно не для всех отображений, но для некоторых верно.
Не так давно я доказал формулы де Моргана для множеств по методу двух включений (стандартно), а здесь как-то не соображу.
Рисовал картинки, но не могу придумать пример, в котором бы правило нарушилось и равенство стало бы неверным.