# Can surjective functions map an element from the domain…

Can surjective functions map an element from the domain to two distinct elements in the codomain? I know that each element in the codomain must have at least one corresponding element in the domain. But for example,

$$f:\mathbb{R} \implies \mathbb{R^*}$$ $$f\left( \frac{a}{b}\right) = a + b$$

$$s.t.b \neq 0$$

this maps zero to every number, but it still is onto the codomain right?

By the way, $\mathbb{R^*}$ is the set of all real numbers not including zero.

• You can call it a relation. Your $f$ shows why one must be careful when defining a function, because $f$ is not well-defined. This means that given an $x$ in the domain, $f(x)$ is not uniquely determined. – Stahl Sep 8 '13 at 18:48
• of course, $x_1 = x_2 \implies f(x_1) = f(x_2)$ for all x iff f(x) is a function, thank you – user28823 Sep 8 '13 at 18:50