Hallo Salvatore,
f: { 1,2,3} → {a,b,c}
f: D → Z
f injektiv: verschiedene Elemente von D haben verschiedene Bilder in Z
f surjektiv: jedes Element von Z hat ein Urbild in D
f bijektiv: beides
Für endliche Mengen D und Z mit gleicher Anzahl von Elementen heißt das, dass entweder alle 3 Eigenschaften vorliegen oder keine davon.
In deiner Tabelle liegen genau dann alle 3 Eigenschaften vor, wenn a,b,c alle in einer Zeile vorkommen.
Gruß Wolfgang