Funkcją nazywamy takie przypożądkowanie w którym KAŻDEMU argumentowi przypożądkowano dokładnie JEDEN element ze zbioru Y
Np:
Zbiory : X i Y
X Y
1 -> !
2 -> @
3 -> #
4 -> $
5 -> %
Dziedzina : zbiór liczb { 1 2 3 4 5 }
Zbiór Wartości ; Zbiór znaków
Każdemu argumentowi ( liczbie ) przypożądkowano wartość ( Znak )