(idea) by rp Sat Mar 24 2001 at 20:14:43
In logic, the extension of a predicate is the set of things for which the predicate holds.

For example, the extension of the predicate red is the set of all red things.

I like it!