>>78補足
ｆは集合Aから集合Bへの写像であり、a∈A、ｆ（a)=b∈Bとする。