Wegen der von mir kürzlich revertierten Änderung mal noch ein pragmatisches Argument für die Unterscheidung zwischen (bzw. die Unvergeichbarkeit von) Funktionen mit unterschiedlichen Zielmengen: Man kann die Unterscheidung später durch eine geeignete Äquivalenzrelation für irrelevant erklären. Umgekehrt geht das nicht so toll: Hat man erstmal Dinge ununterscheidbar gemacht, die vielleicht eigentlich doch unterscheidbar sein sollten, gibt es keine vernünftige Möglichkeit, Unterscheidungen nachträglich (wieder-)einzubauen. -- Daniel5Ko 00:08, 9. Mai 2011 (CEST)