function_term

(old) Funktionsterm, Funktionsobjekt - eine Funktion die (an gegebener Stelle) als reiner Term (Objekt) behandelt wird. Eine Funktion wird zum Objekt (Subjekt) um Aussagen über sie treffen zu können. Hiefür wird die Klammerfunktion verwendet. Symbolisch wird der Name der Funktion in (runde, eckige?) Klammern gesetzt. Ein Funktionsterm ist ein Term der eindeutig einer Funktion zugeordnet ist. Jeder Funktion ist eindeutig ein Funktionsterm zugeordnet.

List of terms