Natürliche Zahlen/Differenz/Mengendifferenz/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Es ist

eine disjunkte Zerlegung. Daher gilt nach Fakt

Somit erfüllt die charakteristische Eigenschaft der Differenz und ist daher gleich .

Zur bewiesenen Aussage