A foundational axiom of (standard) set theory stating that two sets are identical precisely when they have the same elements: for any sets A and B, A = B iff every x is a member of A exactly when x is a member of B.

Principle

Identity of a set is determined solely by its extension (the collection of its members); membership equality suffices to establish equality of sets.

Demonstration

Given A = {1,2} and B = {2,1}, check membership: 1 ∈ A iff 1 ∈ B and 2 ∈ A iff 2 ∈ B, therefore A = B by extensionality.

Misapplication

Applying extensionality to structures that are not pure sets, such as multisets (where multiplicity matters), sequences (where order matters), or typed objects whose identity includes extra structure; or assuming it justifies identifying different syntactic representations that encode distinct construction histories in intensional theories.

Consequence

Allows elementwise reasoning about equality: proofs that two sets coincide reduce to showing mutual inclusion; it underpins replacement of equals by equals in membership statements and many uniqueness arguments.

Reversal

Intensional viewpoint: two distinct set-descriptions or constructions might be treated as different even if they have identical elements (a theory that distinguishes sets by presentation rather than by extension).

Boundary

Applies within axiomatic set theories that take sets as extensional entities (e.g., ZF). It does not govern identity in contexts where extra data matters (multisets, ordered tuples, objects with tags, some constructive or intensional type theories) or when working with proper classes without a set identity axiomatized similarly.

Semantic Tension

Extensionality (sets equal when members equal) competes with intensional notions of identity (where representation, order, multiplicity, or construction can distinguish objects); 'extensional' also refers to equality of predicate extensions in logic, which is related but not identical.

Synthesis

Extensionality packages the idea that, in pure set-theoretic ontology, a set is nothing over and above its members: equality reduces to mutual membership, enabling elementwise proofs of identity while excluding contexts where additional structure or non-set features determine identity.