Suatu relasi dari himpunan A ke himpunan B adalah pemasangan atau perkawanan atau korespondensi dari anggota-anggota himpunan A ke anggota-anggota himpunan B. Sedangkan, suatu relasi dari himpunan A ke himpunan B disebut fungsi dari A ke B jika setiap anggota A dipasangkan dengan tepat satu anggota B.
sifat-sifat fungsi :
1. Fungsi injektif (satu-satu)
Jika fungsi , setiap hanya mempunyai satu kawan saja di A, maka fungsi itu disebut fungsi satu-satu atau injektif.
2. Fungsi surjektif (onto)
Pada fungsi , setiap mempunyai kawan di A, maka f disebut fungsi surjektif atau onto.
3. Fungsi bijektif (korespondensi satu-satu)
Suatu fungsi yang bersifat injektif sekaligus surjektif disebut fungsi bijektif atau korespondensi satu-satu. Setiap anggota di daerah asal hanya memiliki tepat 1 pasangan dengan daerah kawan, begitupun sebaliknya setiap anggota himpunan daerah kawan, hanya memiliki satu pasangan saja dengan daerah asal
Pada soal diketahui gambar diagram panah sebagai berikut :
Jadi, gambar diagram panah di atas merupakan fungsi surjektif / fungsi onto karena setiap anggota di daerah kawan memiliki pasangan di daerah asal.