86

Da bi relacija bila preslikavanje (funkcija) iz skupa $A$ u skup $B ,$ svaki element domena (skupa $A$) mora biti pridružen tačno jednom elementu kodomena (skupa $B$). To znači da se svaki element skupa $A$ mora pojaviti na prvom mestu u tačno jednom uređenom paru relacije.

Analiziramo pravilo $F_1 .$ Prve koordinate uređenih parova su redom 1, 2, 3 i 4. Svaki element skupa $A = \{1, 2, 3, 4\}$ se pojavljuje tačno jednom kao prva koordinata. Prema tome, $F_1$ jeste preslikavanje.

Analiziramo pravilo $F_2 .$ Prve koordinate uređenih parova su redom 1, 2, 3 i 4. Iako se element $a$ iz skupa $B$ pojavljuje dva puta kao druga koordinata, to ne narušava definiciju funkcije. Svaki element skupa $A$ se pojavljuje tačno jednom kao prva koordinata, pa $F_2$ jeste preslikavanje.

Analiziramo pravilo $F_3 .$ Prve koordinate uređenih parova su 1, 1, 2, 3 i 4. Element 1 iz skupa $A$ se pojavljuje dva puta kao prva koordinata (u parovima $(1, a)$ i $(1, b)$). Pošto je jednom elementu domena pridruženo više od jednog elementa kodomena, $F_3$ nije preslikavanje.