y∈Bでも
∃x, f(x)∈B∧y=f(x)
とは限らない

たとえばf:A→Bなら
全射のときなら成り立つし

f:A→CでC⊃Bのときも
fの像f(A)がBに等しくなるときに
成り立つ