Misal: ada himpunan A dan B bila setiap elemen dari A dikaitkan dengan suatu kaitan yang khusus dengan setiap elemen di B dan kaitan tersebut mempunyai syarat atau aturan-aturan yang khusus, maka kaitan tersebut disebut "fungsi". Contoh: jika f adalah fungsi dari A ke B kita menuliskan: