Das ist die Menge aller Abbildungen von M nach M. Da gibt es nicht viele
f1: mit f(0)=0 und f(1)=0
f2: mit f(0)=1 und f(1)=0
f3: mit f(0)=1 und f(1)=1
f4: mit f(0)=0 und f(1)=1
ist bei endlichen Mengen immer so:
A^B hat Anzahl der El. von A hoch Anzahl der El. von B Elemenete,
daher die Schreibweise.