Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

extensional equality

You are here: irt.org | FOLDOC | 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.

Nearby terms: Extensible VAX Editor « extension « extensional « extensional equality » extensionality » Extension Language Kit » Exterior Gateway Protocol

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb