Endliche Mengen/Abbildungen/Anzahl/Fakt/Beweis

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.