Kaksi funktiota [[$f_1$]] ja [[$f_2$]] ovat samat, jos niillä on samat määrittelyjoukot ja molemmat funktiot saavat samat arvot kaikilla määrittelyjoukon alkioilla.

Funktion määrittelyjoukko [[$M_f$]]

Funktion määrittelyjoukolla ilmaistaan, mitä arvoja funktion lausekkeessa oleva muuttuja voi saada. Toisin sanoen määrittelyjoukkoon kuuluvat kaikki ne muuttujan arvot, joilla funktion arvo voidaan laskea.

Funktion arvojoukko [[$ A_f$]]

Funktion arvojoukolla tarkoitetaan kaikkien funktion arvojen muodostamaa joukkoa, joita funktio voi määrittelyjoukossaan saada. Toisin sanoen arvojoukkoon kuuluvat kaikilla mahdollisilla muuttujan arvoilla lasketut funktion arvot.