(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.

del.icio.us Furl Facebook Digg StumbleUpon Reddit   (I like it!)