Axiom of extensionality

The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as the Zermelo–Fraenkel set theory. Informally, the axiom means that the two setsA and B are equal if and only ifA and B have the same members.