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$ genau $m+n$ Elemente.

Zum Beweis, Alternativen Beweis erstellen