Coba jelasin Bijeksi dan kardinalitas dari Bijeksi dong

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).