つまり関数には定義域は与えられていても値域が与えられていなことが考えられる、という主張だろうか？
言語の表現力の問題のような気がする