Satz 7b: "Mengendifferenz"

Wenn A eine Menge ist,
dann ist die Mengendifferenz der leeren Menge in A die Menge A selbst.
Formal: A \ = A.

Beweis:

(1)		(Definition 5)
(2)		(Eigenschaft der "Leeren Menge")
(3)		( (1), (2) ) "= Behauptung"