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.

a) Graf funkcji f:

b) Powiemy, że funkcja f odwzorowuje zbiór X na zbiór Y, gdy zbiór Y jest taki sam jak zbiór wartości funkcji f. 

W naszym przypadku funkcja f nie odwzorowuje zbioru X na zbiór Y, ponieważ żaden argument nie przyjmuje wartości 8.

ZW_f={0, 3, 4, 6}, Y={0, 3, 4, 6, 8}.