f :X→Yf\colon X\to Yf:X→Y によって x∈Xx\in Xx∈X に対応する y∈Yy\in Yy∈Y を xxx における fff の 値 とよび、f(x)f(x)f(x) と書く。