This is a different but related question to one I asked earlier. I link to it here:
I am pretty new to "functions" having just went through a quick primer on "propositional logic". So the $\rightarrow$ symbol which represents a conditional statement looks very similar in the definition of injective below.
Suppose that $f: A \to B$ (Is this to be read in English as "If $A$ is true then $B$ is true"?)
To show that $f$ is injective - Show that if $f(x) = f(y)$ for arbitrary $x, y \in A$ with $x \neq y$, then $x = y$.
How do I read this in English, specifically the part where there is a comma. I am not sure if this is stating that the ordered pair $x,y$ is an element of set $A$ or just the $y$ element itself. If the author of the text (Rosen) is talking about $x, y$ as an ordered pair then it would help to use parentheses.