Die erste Alternative
in der Definition bezieht sich auf die explizite Namensvergabe.
Die zweite Alternative bezieht sich auf das,
was der Namensvergabe normalerweise vorausgeht,
die eigentliche Abstraktion. Die Namensvergabe
ist nur der letzte Schritt.
Es gibt auch anonyme Lambda-Abstraktionen,
bei denen die Namensvergabe als überflüssig
weggelassen wird.
Der Definition einer anonymen Lambda-Abstraktion
kann auch als Definition einer Funktion
angesehen werden.
Zur Definition der Synthese
Eine Synthese gemäß obiger Definition wird auch oft als
Funktionsaufruf oder als Abbildung (Applikation) bezeichnet.
