Пользуясь только определениями операций над множествами и определением равенства множеств, доказать:
[tex] A \cup (B \cap \overline{A})=A \cup B
[/tex]

(законами пользоваться нельзя)

А мне забанили подобный ответ, основанный на свойствах операций, а не на определениях. Признаю, справедливо. Но данное решени тоже не есть "по определениям", разве что добалена геом. интерпретация диаграммами Эйлера... Кто-бы раз'яснил?

Смотри приложенное решение