Seien A abzählbar unendlich und B überabzählbar. z.Z.: Vereinigungsmenge A U B ist überabzählbar
hier darf nur Definition verwendet werden (laut Aufgabestellung)
Nachtrag:
Def. von abzählbar und überabzählbar:
Eine Menge M heißt abzählbar unendlich, wenn sie dieselbe Kardinalität
wie die Menge N der natürlichen Zahlen besitzt, d. h. wenn es eine bijektive
Abbildung f : N → M gibt. Eine Menge heißt abzählbar, wenn sie entweder endlich
oder abzählbar unendlich ist. Eine unendliche Menge, die nicht abzählbar unendlich
ist, heißt überabzählbar.