Funkcja

Funkcją ze zbioru $X$X w zbiór $Y$Y nazywamy przyporządkowanie $f$f, w którym każdemu elementowi $x\in X$x\in X odpowiada dokładnie jeden element $y\in Y$y\in Y.

Zbiór $X$X nazywamy dziedziną (zbiorem argumentów) funkcji i z reguły oznaczamy go symbolem $D$D lub $D_f$D_f, natomiast jego elementy $x\in X$x\in X nazywamy argumentami (zmienną niezależną). Zbiór $Y$Y nazywamy przeciwdziedziną funkcji, natomiast te z jego elementów $y\in Y$y\in Y które są przyporządkowane przynajmniej jednemu argumentowi $x\in X$x\in X, nazywamy wartościami funkcji (zmiennymi zależnymi, bo zależą od zmiennych niezależnych), a zbiór wszystkich wartości funkcji nazywamy zbiorem wartości funkcji i oznaczamy go $f(X)$f(X) lub $\text{ZW}_f$\text{ZW}_f. Funkcje zwykle oznaczamy małymi literami $f,g,h,\ldots$f,g,h,\ldots, a wartość funkcji $f$f dla argumentu $x\in X$x\in X (w punkcie $x$x) zapisujemy $f(x)$f(x) bądź w szczególności $y=f(x)$y=f(x) dla pewnego $y\in Y$y\in Y.