Equinumerosity

In mathematics, two sets are equinumerous if they have the same cardinality, i.e., if there exists a bijection f : AB for sets A and B. This is usually denoted A \approx B \, or A \sim B.

The study of cardinality is often called equinumerosity (equalness-of-number). The terms equipollence (equalness-of-strength) and equipotence (equalness-of-power) are sometimes used instead.

In Set, the category of all sets with functions as morphisms, an isomorphism between two sets is precisely a bijection, and two sets are equinumerous precisely if they are isomorphic in this category.

See also