Seien ${\displaystyle {}L}$ und ${\displaystyle {}M}$ Mengen. Eine Abbildung ${\displaystyle {}F}$ von ${\displaystyle {}L}$ nach ${\displaystyle {}M}$ ist dadurch gegeben, dass jedem Element der Menge ${\displaystyle {}L}$ genau ein Element der Menge ${\displaystyle {}M}$ zugeordnet wird. Das zu ${\displaystyle {}x\in L}$ eindeutig bestimmte Element wird mit ${\displaystyle {}F(x)}$ bezeichnet. Die Abbildung drückt man als Ganzes häufig durch

${\displaystyle F\colon L\longrightarrow M,\,x\longmapsto F(x),}$

aus.