Jede Abb. von A nach B kann du die Angabe der n Bilder für jedes
x∈A eindeutig beschrieben werden.
Dies könnte man zusammenfassen zu einem n-Tupel ,
das in der i-ten Komponente das Bild von ai enthält,
wenn A={a1,...,an}.
Umgekehrt wird auch durch jedes solche n-Tupel
eine Abbildung von A nach B definiert.
Also ist die Anzahl der Abbildungen gleich der Anzahl
der n-Tupel. Die Menge dieser n-Tupel ist das
cartesische Produkt BxBx...xB mit n-Faktoren, also
die Anazhl der Elemente gleich |B|^n = m^n .