Egyértelmű a hozzárendelés, ha az alaphalmaz minden elemének legfeljebb egy képe van a
képhalmazban.
Az egyértelmű hozzárendelést függvénynek nevezzük.
A függvény megadása sokféle módon történhet, de minden esetben meg kell adni az alaphalmazt a képhalmazt a hozzárendelés szabályát. Az alaphalmaz azon elemeinek összességét, amelyekhez hozzárendeltünk a képhalmazból elemeket, a függvény értelmezési tartományának nevezzük. Az értelmezési tartomány elemeit a függvény független változójának nevezzük. A képhalmaz nem minden elemének kell szerepelni a hozzárendelésben. A képhalmaz azon elemeinek összességét, amelyeket hozzárendeltünk az alaphalmaz elemeihez, a függvény értékkészletének nevezzük. Ez a képelemek, vagy más szóval függvényértékek halmaza.
Azokat a függvényeket, amelyeknek az alaphalmaza is és a képhalmaza is szám-szám halmaz,