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

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