Definition:Abstraction (Mathematical Logic)

Definition
An abstraction is an operator that forms a class name or predicate from a given expression.

Also see

 * Definition:Lambda-Calculus