Es geht also um den Gegenpart von "Zielmenge". Was mal ganz gut wäre, ist, in der Literatur zu gucken, ob es einen etablierten Begriff für den Urbildvorrat gibt, von dem also die Definitionsmenge einer Funktion eine Teilmenge ist. Bei einer schnellen Suchaktion in der Mathe-Bibliothek fand ich bei ca. 10 Grundlagenbüchern nur in einem einzigen Buch aus den 1960ern (kein bekannter Autor) den Begriff "Quellmenge". Die anderen Bücher fangen einfach mit der Definitionsmenge an. Die Sache mit der Quellmenge hätte auch "axiomatisch" einen Sinn: Man muß absichern, dass die Definitionsmenge einer Funktion überhaupt existiert (sonst operiert man nur auf der leeren Menge) - und diese Existenz hat man idR dadurch, dass die Definitionsmenge Teilmenge einer existenten Menge ist, deren Existenz wiederum in letzter Instanz auf der von N fußt. -- Stefan Neumeier 02:18, 23. Mai 2010 (CEST)