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:AC
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.