Das ist doch Analysis II, oder? Da sollte man den Begriff disjunkt schon mal gehoert haben. Zwei Mengen heissen disjunkt, wenn sie leeren Schnitt haben. Wenn dem nicht so ist, ist Deine Behauptung nicht "logisch", sondern schlicht falsch: Aus \(C=A\cup B\) folgt im allgemeinen nicht \(A=C\setminus B\), naemlich genau dann nicht, wenn \(A\cap B\ne\emptyset\). Solche Sachen muessen einfach sitzen.