
expression involving an abstraction operator, usually written as a
lambda.  Thus, for example, in the typed lambda calculus, the expression
[lambda x (exists y) Rxy] would denote the property of being something
that bears the relation R to something, or, viewed extensionally, the
set of all things e such that, for some object e', the pair &lt;e,e'&gt; is an
element of the relation R.  (I'm mingling use and mention here a bit,
but never mind.)

&gt; MW: Yes. I know I need that.
&gt;
&gt; &gt; (and, I take i