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 𝑅𝑓 .