Funkcją f ze zbioru X w zbiór Y (zbiory X i Y są niepuste) nazywamy takie odwzorowanie, w którym każdemu elementowi ze zbioru X został przyporządkowany dokładnie jeden element ze zbioru Y. Funkcję tę oznaczamy f:X→Y.

Zbiór X nazywamy dziedziną funkcji f. Oznaczmy ją symbolem D_f.

Zbiór Y nazywamy przeciwdziedziną funkcji f.

Zbiór tych elementów ze zbioru Y, które zostały przyporządkowane elementom ze zbioru X nazywamy zbiorem wartości funkcji f. Oznaczamy go symbolem ZW_f.

1)

Przyporządkowanie a) jest funkcją odwzorowującą zbiór X w zbiór Y, bo  każdemu elementowi ze zbioru X został przyporządkowany dokładnie jeden element ze zbioru Y.

Przyporządkowanie b) nie jest funkcją, bo argumentowi 1 zostały przyporządkowane dwie wartości (3 i 5).

2)

D_f = {-3, -2, -1, 2, 4}

ZW_f = {0, 2, 3, 4}