| Domain | Definition | ||
| Computing | Extensionality extensional equality Source: The Free On-line Dictionary of Computing. | ||
| Wikipedic | For all x in the common function domain X. This extensional equality is the usual definition if the function range Y is also common to the two functions. If, on the other hand, we distinguish functions by the data attached to them in the type theory sense, so that we could for example choose a larger set Z as range for one of them, that equality is not the same sense extensional. That is one sense in which extensionality may fail. Another one is that consideration of the process by which a function is computed, if taken into account, will usually contradict extensionality. (references) | ||
Source: compiled by the editor from various references; see credits. | Top | ||
Topics by Level of Interest: EXTENSIONALITY | ||||
| Topics sorted by level of Interest | Level (1=low, 600=high) | Topics sorted Alphabetically | Level (1=low, 600=high) | |
| Axiom of extensionality | 8 | Axiom of extensionality | 8 | |
| Extensionality | 4 | Extensionality | 4 | |
Source: the editor, created by/for EVE to gauge likely levels of human interest in linguistically triggered topics (compiled across various sources, such as Wikipedia and specialty expression glosses). | ||||
