Fungsi
adalah suatu pemetaan khusus antara 2 himpunan dimana setiap anggota pada
himpunan pertama dipasangkan tepat satu anggota pada himpunan ke dua. jika terdapat suatu anggota di himpunan pertama yang memetakan lebih dari satu anggota di himpunana ke dua maka bukanlah fungsi.
Misalkan
A dan B merupakan suatu himpunan. Relasi biner f dari A ke B merupakan
suatu fungsi jika setiap elemen di dalam A dihubungkan dengan tepat satu elemen
di dalam B. Jika f adaalah fungsi dari A ke B, maka dapat dituliskan :
f
: A→ B , artinya f memetakan A ke B