Wenn ich kurz noch was sagen darf: Es gibt zwei unterschiedliche Definitionen von "Funktion", nämlich (a) als spezielle Relation oder (b) so, dass die Zielmenge Teil der Daten ist. (Details siehe Funktion (Mathematik).) Eine Funktion im Sinne von (a) ist der Graph einer Funktion im Sinne von (b). Eine (auch unendliche) Wertetabelle enthält niemals die Informationen für eine Funktion im Sinne von (b). Jeder, der mal mit Kategorientheorie zu tun hatte (das umfasst in etwa die gesamte Algebra und Topologie), wird die Definition (b) vorziehen; ein ganz elementares Argument für (b) ist auch die Eigenschaft "Surjektivität", die eine Funktion im Sinne von (b) haben kann oder auch nicht, während man bei Funktionen im Sinne von (a) immer von Surjektivität bezüglich einer zu wählenden Zielmenge sprechen muss.-- Gunther 16:18, 30. Mär 2006 (CEST)