In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands...

only if A and B have the same members. The term extensionality, as used in 'Axiom of Extensionality' has its roots in logic. An intensional definition...

Look up extension, extend, or extended in Wiktionary, the free dictionary. Extension, extend or extended may refer to: Axiom of extensionality Extensible...

3\}=\{1,2,3\},} The term extensionality, as used in 'Axiom of Extensionality' has its roots in logic and grammar (cf. Extension (semantics)). In grammar...

psychology Evolutionary psychology List of cognitive biases The concept of extensionality is used throughout Kahneman and Tversky's research as synonymous of...

Sign extension (sometimes abbreviated as sext, particularly in mnemonics) is the operation, in computer arithmetic, of increasing the number of bits of...

A filename extension, file name extension or file extension is a suffix to the name of a computer file (for example, .txt, .mp3, .exe) that indicates a...

to the extensionality principle. If judgments are made on the basis of irrelevant information as described, that is called an extensionality violation...

Life extension is the concept of extending the human lifespan, either modestly through improvements in medicine or dramatically by increasing the maximum...

the notion of the extension of anything is the idea behind the axiom of extensionality in axiomatic set theory. This kind of extension is used so constantly...

simple extension is a field extension that is generated by the adjunction of a single element, called a primitive element. Simple extensions are well...

In mathematics, particularly in algebra, a field extension is a pair of fields K ⊆ L {\displaystyle K\subseteq L} , such that the operations of K are...

A browser extension is a software module for customizing a web browser. Browsers typically allow users to install a variety of extensions, including user...

a branch of algebra, an algebraic field extension E / F {\displaystyle E/F} is called a separable extension if for every α ∈ E {\displaystyle \alpha...

as the Google Chrome Extensions Gallery. Some extensions focus on providing accessibility features. Google Tone is an extension developed by Google that...

field theory, a radical extension of a field K {\displaystyle K} is a field extension obtained by a tower of field extensions, each generated by adjoining...

Brand extension or brand stretching is a marketing strategy in which a firm marketing a product with a well-developed image uses the same brand name in...

are extensionalPages displaying wikidata descriptions as a fallback Extensionality – Logic principle Intension – Property or quality connoted by a word...

extensions include: List of filename extensions (0–9) List of filename extensions (A–E) List of filename extensions (F–L) List of filename extensions...

theorems about union (proved using extensionality) prove x \union {} = x instantiate y by x \union {} in extensionality qed prove x \union insert(e, y) =...

replaced by a single axiom that uses a class. Finally, ZFC's axiom of extensionality is modified to handle classes: If two classes have the same elements...

An extension cord (US), extension cable, power extender, drop cord, or extension lead (UK) is a length of flexible electrical power cable (flex) with...

theory, a forking extension of a type is an extension of that type that is not free[clarify] whereas a non-forking extension is an extension that is as free...

In mathematical logic, a conservative extension is a supertheory of a theory which is often convenient for proving theorems, but proves no new theorems...

in a program. The concepts that are used to explain this concept are extensionality, definiteness, substitutivity of identity, unfoldability, and referential...

Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits...

abstract algebra, an algebra extension is the ring-theoretic equivalent of a group extension. Precisely, a ring extension of a ring R by an abelian group...

In mathematics, an algebraic extension is a field extension L/K such that every element of the larger field L is algebraic over the smaller field K; that...

function of R R is the extension of Φ {\displaystyle \Phi } Extensional logic Extensional set Extensionality Intension extension (semantics) in nLab v...

Execution speed can be improved by moving speed-critical functions to extension modules written in languages such as C, or by using a just-in-time compiler...