Zum Inhalt springen

Endliche Mengen/Abbildungen/Anzahl/Fakt/Beweis

Aus Wikiversity
Beweis

Ohne Einschränkung sei

Es gibt eine natürliche bijektive Abbildung

was darauf beruht, dass eine Abbildung und eine vollständige Wertetabelle äquivalente Objekte sind. Daher folgt die Aussage aus Fakt bzw. dessen Verallgemeinerung auf eine mehrfache Produktmenge, siehe Aufgabe.