Axiom of extensionality

In axiomatic set theory and the branches of logic, mathematics, and computer science which rely upon it, the axiom of extensionality is one of the axioms of 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, the free encyclopedia · View on Wikipedia

Developed by Tubidy