BETA ZEN
Axiom of extensionality
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
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. The axiom defines what a set is. Informally, the axiom means that the two sets A and B are equal if and only if A and B have the same members.