Coba jelasin . dari Kaidah pencacahan dong

Pembuktian bijektif ialah teorema yang mendefinisikan jika fungsi  yang memetakan himpunan  ke himpunan  adalah bijektif, maka diperoleh bahwa .

Perhitungan ganda merupakan teknik pembuktian kombinatorial. Teknik pembuktian ini digunakan untuk membuktikan persamaan dua ekspresi dengan menunjukkan bahwa kedua ekspresi adalah dua cara menghitung kardinalitas sebuah himpunan yang sama.