The principle that two mathematical objects (sets, relations, functions) are identical exactly when they agree on their extensions: sets have the same members, functions give the same outputs for all inputs, relations hold of the same tuples.

Principle

Identity is determined extensionally: equality reduces to agreement of membership or input–output behavior rather than to intensional or descriptive properties.

Demonstration

In Zermelo–Fraenkel set theory the axiom of extensionality states that if every element of x is an element of y and vice versa, then x = y; in function theory, function extensionality asserts f = g iff for all x, f(x)=g(x).

Misapplication

Applying extensionality where intensional or hyperintensional distinctions matter (for example, treating cognitive content, senses, or program texts as identical when their observable extensions diverge or coincide in inappropriate ways).

Consequence

Underwrites standard equality reasoning in set theory, algebra, and functional programming: it permits replacement, simplification, and abstract identification based solely on extensional behavior.

Reversal

Intensionality or hyperintensional analyses invert the principle by maintaining distinctions between objects that agree extensionally but differ in mode of presentation, computational content, or fine-grained sense.

Boundary

Valid in extensional mathematical frameworks (set theory, extensional type theories, many algebraic contexts); it does not apply unmodified to intensional logics, higher-order intensional semantics, or situations needing hyperintensional discrimination.

Semantic Tension

Tension between mathematical convenience and representational fidelity: extensionality simplifies identity and reasoning but can obscure distinctions important for meaning, computation, or cognitive roles.

Synthesis

Extensionality is the canonical criterion of identity for many formal systems: it reduces identity to observable behavior (membership or input–output), enabling powerful equational reasoning while prompting alternative treatments where intensional or hyperintensional differences are semantically or computationally significant.