でも、○○上の関数って言ったら、普通は定義域も値域も○○だが？