axiom of extensionality noun1 •One of the axioms in axiomatic set theory, equivalent to the statement that two sets are equal if and only if they contain the same elements.
