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.