axiom of extensionality in Polish

(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.