FUNGSI

Hasilkali Cartesius
Misalkan diberikan dua himpunan A dan B. Hasilkali Cartesius dari A dan B adalah A B = { (a,b) | a A, b B }.

Relasi
Relasi dari himpunan A ke himpunan B adalah himpunan bagian dari A B. Relasi R pada himpunan A disebut relasi ekivalen pada A jika memenuhi tiga sifat berikut: 1. (a,a) R untuk semua a A; 2. Jika (a,b) R, berakibat (b,a) R; 3. Jika (a,b) R dan (b,c) R, berakibat (a,c) R.

Fungsi dan Komposisi Fungsi

Misalkan f himpunan bagian dari A B. f disebut fungsi dari A ke B jika untuk setiap a A terdapat b B tunggal sehingga (a,b) f.
Fungsi f dari A ke B dinotasikan dengan f : A B atau f : a f(a), a A. A disebut daerah asal (domain) dari f dan B disebut daerah kawan (codomain) dari f. Himpunan Im(f) = { b B | b = f(a), untuk suatu a A } disebut daerah hasil dari f. Jika C A maka f(C) = { f(c) | c C }. Dengan demikian Im(f) = f(A). Untuk b B didefinisikan f*(b), prapeta dari b, sebagai f*(b) = { a A | b = f(a) }. Jika D B maka f*(D) = { a A | f(a) D }.

Fungsi : A B disebut fungsi satu-satu (injektif) jika untuk setiap x, y A dengan (x) = (y) berakibat x = y.

Fungsi : A B disebut fungsi pada (surjektif) jika untuk setiap b B terdapat a A yang memenuhi (a) = b.
Jika : A B satu-satu dan pada maka disebut fungsi bijektif.

Misalkan f : A B dan g : B C suatu fungsi. Komposisi f dan g adalah fungsi gof:AC Yang didefinisikan dengan (g o f)(a) = g(f(a)) untuk setiap a A.

Misalkan diberikan fungsi f : A B. Jika terdapat fungsi g : B A sehingga g o f = idA dan f o g = idB, maka fungsi f dikatakan mempunyai balikan (invertible). Dalam hal ini, g disebut balikan (invers) dari f dan dinotasikan dengan f -1.