- Thread starter
- #1

Here is what confused me. The image of A "f(A)" is defined as y element of Y such that for some x element of A, y=f(A). I could say there exists some element x such that y=f(A).

I'm not sure if I can say in a proof that if y=f(A) then there exists some x element of A.

Sometimes it seems like A such that B means "if then".