>>431
一般に、x∈X⇒(a∈f(X)⇒a=f(x))は必ずしも成り立たない。