ID	4ffbec52-1f2f-489b-bf4b-035852b6fbb9
DeertopiaVisibility	public

Set theory

Set theory is the study of sets.

Axiom of extensionality

Two sets are equal iff they possess the same elements. ([cite:@godement2004analysis], P.8)

\begin{matrix} \forall (A B : Set), (\forall x, x \in A ⟺ x \in B) ⟹ A = B \end{matrix}