Noun
axiom of extensionality
(set theory) 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.
However, we say that two sets which differ only in that one has duplicate members are in fact exactly identical (see Axiom of extensionality ). Source: Internet