Natürliche Zahlen/Nachfolger/Addition und disjunkte Vereinigung/Fakt

Satz über die Addition und endliche Mengen

Es seien ${}M$ und ${}N$ disjunkte endliche Mengen mit ${}m$ bzw. ${}n$ Elementen.

Dann besitzt ihre Vereinigung ${}M\cup N$ gerade ${}m+n$ Elemente.

Zum Beweis, Alternativen Beweis erstellen