Definisi 1: Dipunyai himpunan A dan B. Suatu fungsi f dari himpunan A ke B merupakan himpunan pasangan terurut f ⊆ A x B sedemikian sehingga memenuhi: (1) ∀𝑥∈𝐴 ∃𝑦∈𝐵∋(𝑥,𝑦)∈𝑓 dan (2) 𝑥,𝑦 ∈𝑓 𝑑𝑎𝑛 𝑥,𝑦 ∈𝑓⟹𝑦=𝑧
Terdapat beberapa notasi atau simbol baru, yang mungkin belum Saudara kenal, yaitu: simbol huruf A terbalik yaitu ∀ artinya “untuk semua” (for all), simbol huruf E terbalik yaitu ∃ artinya “terdapat” (there exist), simbol ∋ artinya “sedemikian sehingga” (such that).
Selanjutnya apabila (𝑥,𝑦)∈𝑓, ditulis y = f(x) atau f : x ↦ y yang menyatakan y sebagai nilai f di x. Dengan kata lain fungsi f mengaitkan bilangan x dengan bilangan y, sehingga fungsi f : A ⟶ B merupakan pemetaan dari himpunan A ke himpunan B. Himpunan A disebut daerah asal (domain) fungsi f diberi lambang 𝐷 𝑓 , sedangkan {𝑦 ∈𝐵 ⋮ (𝑥,𝑦) ∈𝑓 } disebut daerah hasil (range) fungsi f dan diberi lambang 𝑅 𝑓 .