Notasi

Untuk mendefinisikan fungsi dapat digunakan notasi berikut.

Dengan demikian kita telah mendefinisikan fungsi f yang memetakan setiap elemen himpunan A kepada B. Notasi ini hanya mengatakan bahwa ada sebuah fungsi f yang memetakan dua himpunan, A kepada B. Tetapi bagaimana tepatnya pemetaan tersebut tidaklah terungkapkan dengan baik. Maka kita dapat menggunakan notasi lain.

atau

Fungsi sebagai relasi

Sebuah fungsi f dapat dimengerti sebagai relasi antara dua himpunan, dengan unsur pertama hanya dipakai sekali dalam relasi tersebut.

Domain dan Kodomain

Pada diagram di atas, X merupakan domain dari fungsi f, Y merupakan kodomain

Domain adalah daerah asal, kodomain adalah daerah kawan, sedangkan range adalah daerah hasil

[sunting] Jenis-jenis fungsi

[sunting] Fungsi injektif

Fungsi f: A → B disebut fungsi satu-satu atau fungsi injektif jika dan hanya jika untuk sebarang a₁ dan a₂ dengan a₁ tidak sama dengan a₂ berlaku f(a₁) tidak sama dengan f(a₂). Dengan kata lain, bila a₁ = a₂ maka f(a₁) sama dengan f(a₂).

Fungsi surjektif

Fungsi f: A → B disebut fungsi kepada atau fungsi surjektif jika dan hanya jika untuk sebarang b dalam kodomain B terdapat paling tidak satu a dalam domain A sehingga berlaku f(a) = b. Dengan kata lain, suatu kodomain fungsi surjektif sama dengan kisarannya (range).

Fungsi bijektif

Fungsi f: A → B disebut disebut fungsi bijektif jika dan hanya jika untuk sebarang b dalam kodomain B terdapat tepat satu a dalam domain A sehingga f(a) = b, dan tidak ada anggota A yang tidak terpetakan dalam B. Dengan kata lain, fungsi bijektif adalah sekaligus injektif dan surjektif.