Большой англо-русский и русско-английский словарь
abstraction operator, classifier
Философская энциклопедия
- ОПЕРА́ТОР АБСТРА́КЦИИ
-
оператор функциональной абстракции, λ - о п е р а т о р, – логический символ [знак λ, после к-рого ставится переменная (переменные) ], служащий для выражения операции абстрагирования функции (в т.ч. логич. функции, или предиката) как особого абстрактного объекта.