Hallo,
Ihr seht wahrscheinlich vor lauter Bäumen den Wald nicht.
Nehmen wir an, wir haben eine Grundmenge X mit Teilmengen A und B. Voraussetzung ist jetzt \( A \subset B\), d.h.
$$\forall x \in X: \quad x \in A \Rightarrow x \in B \text{ (1)}$$
Wir wollen zeigen: \(A \setminus B= \{\}\) Dazu nehmen wir an, dies sei falsch, also:
$$\exists a \in A \setminus B, \text{ also } a \in A \text{ und } a \notin B$$
Mit (1) können wir aber schließen:
$$a \in A \Rightarrow a \in B$$
Damit haben wir unseren Widerspruch.
Gruß Mathhilf