Я бы сказал, что это вопрос больше не про понятие функции, а про способ задания функции. И этих способов может быть много разных. Если мы захотим, чтобы график функции (множество всех тех пар) был подмножеством именно множества
и при этом чтобы туда входило наибольшее возможное число пар, то тогда действительно у нас получится только функция с графиком
и при этом она не будет функцией с областью определения
, а лишь функцией с областью определения
. В большинстве случаев мы задаём область определения в точности, и области значений придётся быть достаточно большой, чтобы уместить все значения функции, а вот способ как у вас я если и встречал, то не помню об этом.