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. 

Rysunek a), c), e) przedstawia funkcję.

Rysunek b) nie przedstawia funkcji, ponieważ dla x=2 przyporządkowano trzy wartości.

Rysunek d) nie przedstawia funkcji, ponieważ dla x=-2 przyporządkowano nieskończenie wiele wartości.

Rysunek f) nie przedstawia funkcji, ponieważ dla x=1 przyporządkowano dwie wartości.