Korespondensi Satu-satu

Antara himpunan A dan B terjadi korespondensi satu-satu jika setiap anggota A berpasangan dengan tepat satu anggota B dan sebaliknya setiap anggota B dipasangkan dengan tepat satu anggota A. Setara dengan fungsi bijektif (injektif + surjektif).

Syarat perlu

Injektif & surjektif (ringkas)

• Injektif (satu-satu): dua anggota domain berbeda tidak boleh punya peta sama
• Surjektif (onto): setiap anggota kodomain kena oleh paling sedikit satu anggota domain
• Bijeksi: injektif dan surjektif sekaligus → korespondensi 1-1 untuk himpunan hingga