Definition:Set Equivalence

Definition
Two sets $S$ and $T$ are equivalent iff there is a bijection $f: S \to T$ between the elements of $S$ and those of $T$.

This can be written $S \sim T$.

If $S$ and $T$ are not equivalent we write $S \not \sim 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.

Relatively obscure notations for $S \sim T$ include:


 * $S \operatorname{Eq} T$
 * $\operatorname{Eq} \left({S, T}\right)$

Also see

 * Definition:Cardinality
 * Definition:Count


 * Set Equivalence is Equivalence Relation