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.

Przykładowy zbiór wyników rzutów:

{(1, 1), (2, 4), (3, 5), (4, 1), (5, 4), (6, 3), (7, 1)}

D = {1, 2, 3, 4, 5, 6, 7}

ZW = {1, 3, 4, 5}

Dla argumentu 4 funkcja przyjmuje wartość 1.