Fungsi (matematika)

Fungsi f: A → B disebut fungsi korespondensi satu-satu, fungsi into, fungsi bijektif jika dan hanya jika untuk sebarang "b" dalam kodomain "B" terdapat tepat satu "a" dalam domain "A" sehingga "f"("a") = "b", dan tidak ada anggota "A" yang tidak terpetakan dalam "B". Dengan kata lain, fungsi bijektif adalah sekaligus injektif dan surjektif.
a