Eine Menge L von Paaren ist eine Abbildung von M nach N
genau dann, wenn es zu jedem x aus M genau ein y aus N gibt
mit (x|y) aus L .
Das steht etwas verklausurliert auch in der Aussage
"wenn für alle m ∈ M der Schnitt L ∩ {m} x N"
denn {m} x N ist die Menge aller Paare mit
1. Komponente = m und beliebige 2. Komponente aus N.
und wenn L geschnitten damit immer genau ein Element
enthält, heißt das doch gerade, dass es zu jedem x aus M
immer genua ein Paar mit 2. Komponente in M gibt.