関数空間
function space
集合$ A,Bに対して、$ Aから$ Bへの写像全体からなる集合
$ B^Aや$ A\to Bと表記する
元は写像
外延的等価性
https://ja.wikipedia.org/wiki/関数空間