n. (Logic) 1. the process of formulating a generalized concept of a common property by disregarding the differences between a number of particular instances. On such an account, we acquired the concept red by recognizing it as common to, and so abstracting it from the other properties of, those individual objects we were originally taught to call red. 2. an operator that forms a class name or predicate from any given expression. See lambda calculus.