>>515
f^(-1)(a)ってのはaの逆像、つまりf(x)=aになるxの集合だから
（単射なら1つになるので同一視するけど）
a'∈f^(-1)(a)としておいた方がいい