Вообще, я тоже диаграммами это представлял. Мне кажется, я нащупал решение. Но тут чисто формальный подход. Если есть дав множества А и В и операции пересечения и объединения, то мы можем получить какое-то множество типа { x | (x e A) или ((x e B) и (x e А)) }. Ну или что-то в этом роде. В любом случае, логическими союзами и/или будут разделятся высказывания, что x принадлежит чему-то там. По определению разности, A\B := { x | (x e A) и (x (не e) B) }. В определении объединения и дополнения нет высказывания (x (не e) множество), получить его из комбинаций высказываний (x e A), (x e B) и союзов и/или нельзя.