|N|^|M| aber wie beweise ich die Aussage?
Für das erste Element von M gibt es ||N|| mögliche Bilder
und dann:
Für das zweite Element von M gibt es ||N|| mögliche Bilder
und dann:
Für das dritte Element von M gibt es ||N|| mögliche Bilder
und dann:
usw.
und dann:
Für das letzte Element von M gibt es ||N|| mögliche Bilder
Anzahl möglicher Abbildungen nach Produktregel ist somit
||N|| * ||N|| * ||N|| * .... * ||N|| = ||N|| ^( ||M|| )