Fungsi adalah relasi dari himpunan A ke himpunan B, jika setiap anggota himpunan A berpasangan tepat satu dengan anggota himpunan B.
Untuk menentukan suatu relasi adalah fungsi atau tidak, dapat dilihat dari diagram A. Apabila setiap anggota pada diagram A memiliki tepat 1 pasangan dengan anggota di diagram B, maka itu adalah fungsi. Jika terdapat anggota A yang memiliki lebih dari 1 pasangan dengan anggota B, maka itu bukanlah fungsi.
Pada gambar A, anggota dalam himpunan A yaitu b memiliki 2 pasangan yaitu terhadap 1 dan 2. Sehingga gambar A bukanlah fungsi.
Pada gambar B, terdapat 1 anggota dalam himpunan A yaitu c yang tidak memiliki pasangan dari himpunan B. Sehingga gambar B bukanlah fungsi.
Pada gambar C, semua anggota dalam himpunan A tepat memiliki 1 pasangan dengan himpunan B. Sehingga gambar C adalah fungsi.
Pada gambar D, semua anggota dalam himpunan A tepat memiliki 1 pasangan dengan himpunan B. Sehingga gambar D adalah fungsi.
Dengan demikian, relasi yang merupakan fungsi adalah relasi pada gambar C dan gambar D.