Definition:Set Equivalence

From ProofWiki
Jump to: navigation, 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 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:

  • Equipotent (equalness of power), from which we refer to equivalent sets as having the same power
  • Equipollent (equalness of strength)
  • Equinumerous (equalness of number)
  • Similar.


Also denoted as

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

Other notations for $S \sim T$ include:

$S \mathrel {\operatorname {Eq} } T$
$\operatorname {Eq} \paren {S, T}$


Also see


Historical Note

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

The term he used was Mächtigkeit.


Sources