extensionality

E e

Definitions of extensionality word

abbreviation Technical meaning of EXTENSIONALITY extensional equality 3
noun Definition of extensionality in Technology (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. 1
noun extensionality the principle that sets are definable in terms of their elements alone, whatever way they may have been selected. Thus {a, b}={b, a}={first two letters of the alphabet} 0

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

This term is known only to a narrow circle of people with rare knowledge. Only 7% of English native speakers know the meaning of this word.

According to our data most of word are more popular. This word is almost not used. It has a much more popular synonym.

This diagram is provided by Google Ngram Viewer

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?