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.
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.
- Extension-courses
noun 1. (in many universities and colleges) a program for persons not regularly enrolled as students, frequently provided through evening classes or classes in off-campus centers, or by correspondence.