Partial function

A partial function $f:A\to B$ is a subset of $A\times B$ such that if $(x,y)\in f$ and $(x,z)\in f$ then $y=z$. i.e. for each element of $A$, there is at most one result in $B$.