meaning of extensional
1. Having great extent.
2. extensional Extensional properties, e. g. extensional equality, relate to the "black-box" behaviour of an object, i. e. how its output depends on its input. The opposite is intensional which concerns how the object is implemented. extensional equality Or extensionality. Functions, f and g are extensionally equal if and only if f x = g x for all x. where "=" means both expressions fail to terminate under some given reduction strategy or they both terminate with the same basic value. Two functions may be extensionally equal but not inter-convertible neither is reducible to the other. E. g. x . x+x and x . 2*x. See also observational equivalence, referential transparency. extensionality extensional equality Extension Language Kit
3. used of the class of entities to which a given word correctly applies
Related Words
