Uma relação $f$ de $A$ em $B$ é uma função, se e somente se, a todo elemento $x$ que pertence a $A$, estiver associado um, e somente um, elemento $y$ que pertence a $B$.

$f \hspace{-0.2em} :A \Rightarrow B$

(função f de A em B)