Coba jelasin Contoh: dari Fungsi (matematika) dong

A = {1, 2, 3}

F: A => B {(1,a), (2,a), (3,b)}

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.