Definíció: Adott két halmaz, H és K. Ha a H halmaz elemeihez valamilyen egyértelmű módon hozzárendeljük a K halmaznak egy-egy elemét, akkor ezt a hozzárendelést függvénynek nevezzük. A H halmazt a függvény alaphalmazának, a K halmazt a függvény képhalmazának nevezzük. A H alaphalmaznak azt részhalmazát, amelyhez  a képhalmaznak valamely eleme hozzá lettTovább