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