The SlugMath Wiki is under heavy development!
State/Axiom of extensionality
From SlugmathWiki
Axiom: (Axiom of Extensionality) If $X$ and $Y$ are sets, then $X = Y$ if and only if for every set $z$, $z \in X$ if and only if $z \in Y$.
In other words, two sets are equal if they have the same elements (every element of one set is an element of the other).
This is one of the Zermelo-Fraenkel axioms of set theory.
Logical Connections
This statement logically relies on the following definitions and statements:
The following statements and definitions rely on the material of this page: Def/Empty set, Def/Intersection, Def/Natural number, Def/Ordered pair, Def/Power set, Def/Union, and Def/Unordered pair
To visualize the logical connections between this statements and other items of mathematical knowledge, you can visit the following cluster(s), and click the "Visualize" tab: Clust/ZFC axioms of set theory
