F : Abb({1, 2, 3}, M) → M^3, f → (f(1), f(2), f(3))
wenn (f(1), f(2), f(3)) = (g(1), g(2), g(3))
gilt, dann stimmen f und g auf allen Elementen
ihres Definitionsbereiches überein, sind also gleich
==> F ist injektiv.
Und Sei (a,b,c) ∈ M^3 dann ist dies
F-Bild der Abbildung f mit f(1)=a f(2)=b und f(3)=c ,
also F surjektiv.