Axiom of extensionality

Axiom used in set theory

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 sets A and B are equal if and only if A and B have the same members.

From Wikipedia, under CC BY-SA. More on occurri.