generated at
関数空間
function space
集合A,Bに対して、AからBへの写像全体からなる集合
B^AA\to Bと表記する
元は写像