Endliche Menge/In M unendlich/Wohldefinierte Addition über disjunkte Mengen/Aufgabe
Es sei eine unendliche Menge und die zugehörige Anzahlmenge. Zeige, dass es auf eine wohldefinierte „Addition“ gibt, die die Anzahl der Vereinigung von zwei disjunkten endlichen Teilmengen beschreibt.