A függvény nem más, mint egy egyértelmű hozzárendelés két halmaz,
az alaphalmaz és a képhalmaz elemei között.
Az egyértelmű hozzárendelés azt jelenti, hogy az alaphalmaz minden egyes eleméhez hozzárendeljük a képhalmaznak egy (nem több, nem kevesebb) elemét.