>>115
関数 f：X→Y が定数であることの定義
ある y∈Y が存在して任意の x∈X に対して
f(x)=y
が成り立つこと。