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.