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.

Tagged:

Read Also:

  • Extensionalism

    [ik-sten-shuh n] /ɪkˈstɛn ʃən/ noun 1. an act or instance of , lengthening, stretching out, or enlarging the scope of something. 2. the state of being extended, lengthened, or stretched out. 3. that by which something is extended or enlarged; an addition: a four-room extension to a house. 4. an additional period of time given […]

  • Extensionality

    [ik-sten-shuh n] /ɪkˈstɛn ʃən/ noun 1. an act or instance of , lengthening, stretching out, or enlarging the scope of something. 2. the state of being extended, lengthened, or stretched out. 3. that by which something is extended or enlarged; an addition: a four-room extension to a house. 4. an additional period of time given […]



  • Extensionally

    [ik-sten-shuh n] /ɪkˈstɛn ʃən/ noun 1. an act or instance of , lengthening, stretching out, or enlarging the scope of something. 2. the state of being extended, lengthened, or stretched out. 3. that by which something is extended or enlarged; an addition: a four-room extension to a house. 4. an additional period of time given […]

  • Extension-cord

    noun, Electricity. 1. an electric cord having a standard plug at one end and a standard electric jack at the other.



Disclaimer: Extensional equality definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.