Использую отношение принадлежности, доказать равенство

[krodd2]

$(A \diagdown B) \diagdown C=(A \diagdown C) \diagdown (B \diagdown C) x \in (A \diagdown B) \diagdown C \Rightarrow x \in \begin{cases} x \in A \diagdown B\\ x \notin C \end{cases} $

Как дальше из левой части получить правую?

[Brukvalub]

Что мешает повторить написанное для разности А и В?

[krodd2]

Я имею ввиду, что мне не понятно, что делать после второго применения разности

Brukvalub в сообщении #845859 писал(а):

Что мешает повторить написанное для разности А и В?

[Brukvalub]

Так вы сначала гараж-то откройте второй раз тот же ход примените, а уж потом вопрос задавайте.