Философская энциклопедия - оператор абстракции

ОПЕРА́ТОР АБСТРА́КЦИИ

оператор функциональной абстракции, λ о п е р а т о р, – логический символ [знак λ, после к-рого ставится переменная (переменные) ], служащий для выражения операции абстрагирования функции (в т.ч. логич. функции, или предиката) как особого абстрактного объекта.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.