xとyの関係として，xがどのような値であってもy＝2となるというのは，定数関数です。yがどのような値であってもx＝3となるというのも，定数関数です。前者は「yはxの定数関数」，後者は「xはyの定数関数」です。 中学の数学で学ぶ関数について，一階述語論理…