Menge/Endliche Teilmengen/Rekursiv/Nachfolgerabbildung/Wohldefiniertheit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Menge und es seien zwei gleichmächtige Teilmengen und gegeben. Es seien mit und . Dann sind auch die Mengen und gleichmächtig.