Die zitierte mengentheoretische Definition fängt mit Eine Funktion von der Menge D in die Menge Z... an, d.h. bei einer Funktion muss man D und Z von vornherein mit angeben. Anders gesagt: f ist ein Tripel (D,Z,M), wobei M eine Teilmenge von D kreuz Z ist und M gewisse Eigenschaften (à la Linkstotalität, Rechtseindeutigkeit) hat.