Dane są niepuste zbiory $X$ i $Y$.

Funkcją ze zbioru $X$ w zbiór $Y$ (oznaczenie $f:X\to Y$) nazywamy przyporządkowanie, które spełnia następującą zasadę:

Każdemu elementowi $x\in X$ przyporządkowany jest dokładnie jeden element $y\in Y$.

Przykład 1

$X=\{-1,0,1\}$                                                          $Y=\{0,1,2,3\}$

 

 

 

$f(-1)=2$           $f(0)=1$         $f(1)=2$