Funkcją określoną na zbiorze X o wartościach w zborze Y nazywamy takie przyporządkowanie, które każdemu elementowi x należącemu do zbioru X przyporządkowuje dokładnie jeden element y ze zboru Y.
UWAGA
Podkreślone elementy definicji są bardzo ważne. Niespełnienie któregoś z nich sprawia, że dane przyporządkowanie nie jest funkcją.