85.a
Dat je skup Da li su skupovi i preslikavanja u
Da bi relacija bila preslikavanje (funkcija) iz skupa u skup svaki element domena (skupa ) mora se pojaviti tačno jednom kao prva koordinata u uređenim parovima, a sve druge koordinate moraju pripadati kodomenu (skupu ).
Analiziramo relaciju Skup prvih koordinata (domen) čine elementi što je tačno skup
Skup drugih koordinata relacije čine elementi koji svi pripadaju skupu Pošto se svaki element iz slika u tačno jedan element iz jeste preslikavanje.
Analiziramo relaciju Skup prvih koordinata (domen) čine elementi što je takođe tačno skup
Skup drugih koordinata relacije čine elementi koji svi pripadaju skupu Iako se elementi i slikaju u isti element svaki element iz domena ima tačno jednu sliku. Dakle, jeste preslikavanje.
Zaključujemo da su oba zadata skupa uređenih parova preslikavanja skupa u skup