1. Das ist so in der Mengenlehre, bei Strukturen schleppt man die Quell- und Zielmenge oft mit. 2. Ich habe ja bereits gesagt, dass es sich wohl um einen Streit um Begriffe handelt, und den möchte ich nicht ausfechten. 3. Das ist so bei Strukturen (Kategorientheorie), wie eingeräumt. 4. Morphismus oder Abbildung? wie gesagt, in der Mengenlehre ist eine Funktion nichts anderes als ihr Graph. -- Auch ich bin der Meinung, dass Definitionen nicht richtig oder falsch sein können. Sie können vielleicht unzweckmäßig oder in der Literatur nicht einheitlich sein. Ersteres ist Geschmackssache und letzteres liegt hier offenbar vor. Und damit sollten wir es bewenden lassen!-- FerdiBf 20:47, 21. Mär. 2011 (CET)