Abbildungsdefinitionen

An der Stelle dieser Lektion ist bereits bekannt, daß die Anwendung einer Abbildung einen Wert durch einen Kern und Argumentwerte eindeutig bestimmt. Im Gegensatz dazu steht die Anwendung einer beliebigen Wertoperation, deren Wert auch noch durch andere Umstände als durch die Argumentwerte bestimmt werden kann.

Eine Abbildungsmethode ermittelt eine bestimmten Wert aus den Werten ihrer Parameter, man sagt auch, sie bilde die Parameterwert auf ihr Ergebnis ab.

Daraus folgt dann auch, wie eine Abbildungsmethode zu definieren ist: Eine Abbildungsmethode kann wie eine Wertmethode definiert werden, nur muß darauf geachtet werden, daß der sich ergebende Wert durch die Werte der Argumente bereits eindeutig bestimmt (festgelegt) ist. Wenn dieses Kriterium nicht erfüllt ist, so handelt es sich nur noch um eine allgemeine Wertmethode, nicht jedoch um eine Abbildungsmethode.

(Es ist nicht ausgeschossen, daß die Anwendung einer Abbildung Wirkungen hat, doch sind diese nicht Teil der Definition einer Abbildung. Sie könnten daher an sich bei der Untersuchung der Frage, ob eine vorgegebene Abbildung korrekt implementiert wurde, außer acht gelassen werden. Allerdings kann jede Wirkung in dem einen oder anderen Fall stören, so daß Abbildung wirkungslos  definiert werden sollten.)