engl.: function application
Bezeichne f eine Funktion, a ein zulässiges Argument von f. Die Anwendung von f auf a nennen wir eine Funktionsanwendung (engl. function application); meist schreibt man dafür f (a) oder f a. Den Prozess der Berechnung des Funktionswerts nennen wir Auswertung (engl. evaluation). Die Auswertung kann: