Relation/Abbildung/Charakterisierung/Fakt/Beweis

Beweis

Eine Abbildung

\varphi \colon M\longrightarrow N

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