Es seien ${\displaystyle {}L}$ und ${\displaystyle {}M}$ Mengen und es sei

${\displaystyle F\colon L\longrightarrow M}$

eine Abbildung. Dann nennt man

${\displaystyle {}\Gamma =\Gamma _{F}={\left\{(x,F(x))\mid x\in L\right\}}\subseteq L\times M\,}$

den Graphen der Abbildung ${\displaystyle {}F}$.