Definition:Set Equality/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ and $T$ be sets.

$S$ and $T$ are equal if and only if they have the same elements:

$S = T \iff \paren {\forall x: x \in S \iff x \in T}$


Otherwise, $S$ and $T$ are distinct, or unequal.


Equality of Classes

In the context of class theory, the same definition applies.

Let $A$ and $B$ be classes.

$A$ and $B$ are equal, denoted $A = B$, if and only if:

$\forall x: \paren {x \in A \iff x \in B}$

where $\in$ denotes class membership.


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Set_Equality/Definition_1&oldid=630497"