Matematikoje funkcija – taisykle, kuri kiekvienam
aibes elementui priskiria vieninteli elementa kitoje aibeje (kuri gali sutapti su pirmaja). Tai yra daugelio matematikos sriciu pagrindas. Binarines funkcijos dažnai vadinamos
operacijomis. Funkcijos, kuriu parametru aibe yra kitos funkcijos, vadinamos
operatoriais.