Доказать тождество

[mvari]

$\mathbf{((A\setminus D)\times (C\cap B))\cap (A\times (B\cup C)\setminus(B\oplus C))=(A\setminus D)\times(C\cap B)}$
Не могу понять с какой стороны к нему подойти.

[mihaild]

С расписывания определений всех значков (в первую очередь - $=$ и $\times$).

[mvari]

В общем виде что-ли или по определениям?

[ewert]

mvari в сообщении #1225792 писал(а):

Не могу понять с какой стороны к нему подойти.

Слева. Докажите, что первый сомножитель содержится во втором.

[mvari]

Что-то не могу никак понять

[ewert]

То, что в левой части первое декартово произведение содержится во втором. Для этого упростите второй сомножитель во втором декартовом произведении.