Függvény fogalma

Adott az $A$ és $B$ nem üres halmaz.

Ha az $A$ halmaz bizonyos elemeihez egyértelműen hozzárendeljük a $B$ halmaz bizonyos elemeit, akkor ezt a hozzárendelést függvénynek nevezzük.