Mapping/Graph/Definition

Graph

Let ${}L$ and ${}M$ be sets, and let

$F\colon L\longrightarrow M$

be a mapping. Then the set

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

is called the graph of the mapping ${}F$.