Equinumerosity

Definition

$A\approx B$ or $|A|=|B|$ Two sets $A,B$ are equinumerous if there exists a Bijection $f:A\to B$ between them.

Facts

Equinumerosity is a kind of Equivalence Relation