Hallo DB,
> Für Alle Mengen A,B gilt : A∖B = A genau dann, wenn A ∩ B = ∅.
A∖B = A ⇔ A ∩ B = ∅
gleichwertige Kontraposition ("Beweistechnik"):
A ∩ B ≠ ∅ ⇔ A∖B ≠ A
" ⇒ "
Wenn A ∩ B ≠ ∅ gilt, hat A∖B mindestens 1 Element, das nicht in A liegt.
" ⇐ "
Wenn A∖B ≠ A gilt, gibt es in B mindestens 1 Element, das in A liegt
Gruß Wolfgang