keponya Fungsi merupakan kejadian husus dari relasi. DefinisiMisalkan A dan B adalah Himpunan . Relasi biner f dari A ke B disebut suatu fungsi jika untuk setiap elemen a didalam A terdapat satu elemen tunggal b didalam B sedemikian hingga (a,b) Є f. ditulis f(a)=b. Jika f adalah fungsi dari A ke B , ditulis f: A®B yang artinya f memetakan A ke B.