形式的に変形するなら
y∈B
⇒∃x∈A,y∈B
⇒∃x∈A,y∈B,y=f(x)∨y≠f(x)
となるから、y=f(x)だけにするには
f(A)⊃Bの条件が必要になるとおもいます。