The axiom of extensionality,[1][2] also called the axiom of extent,[3][4] is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory.[5][6] The axiom defines what a set is.[1] Informally, the axiom means that the two sets A and B are equal if and only if A and B have the same members.