Definition:Set Equivalence

From ProofWiki
(Redirected from Definition:Similar Sets)
Jump to navigation Jump to search

Definition

Let $S$ and $T$ be sets.

Then $S$ and $T$ are equivalent if and only if:

there exists a bijection $f: S \to T$ between the elements of $S$ and those of $T$.

That is, if and only if they have the same cardinality.


This can be written $S \sim T$.


If $S$ and $T$ are not equivalent we write $S \nsim T$.


Also known as

Other terms that are used that mean the same things as equivalent are:


Also denoted as

Some sources use $S \simeq T$ or $S \approx T$ instead of $S \sim T$ to denote equivalence.

Other notations for $S \sim T$ include:

$S \mathrel {\operatorname {Eq} } T$
$\map {\mathrm {Eq} } {S, T}$


Also see

  • Results about set equivalence can be found here.


Historical Note

The notion of set equivalence was first introduced by Georg Cantor in $1878$.

The term he used was Mächtigkeit.


Sources