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

Aus Wikiversity

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.