Eine Abbildung

${\displaystyle \varphi \colon M\longrightarrow N}$

ordnet jedem ${\displaystyle {}x\in M}$ genau ein ${\displaystyle {}y\in N}$ zu, das ist nach Definition die Linksvollständigkeit und die Rechtseindeutigkeit.