Jabarkan Bijeksi dan kardinalitas dari Bijeksi

Jika X dan Y adalah himpunan berhingga, maka terdapat bijeksi antara dua himpunan X dan Y jika dan hanya jika X dan Y memiliki jumlah elemen yang sama. Dalam teori himpunan aksiomatik kondisi ini memiliki definisi "jumlah elemen yang sama" (equinumerosity), dan generalisasi definisi ini ke himpunan tak berhingga mengarah ke konsep bilangan kardinal (cara untuk membedakan berbagai ukuran himpunan tak berhingga).