I understand what domain and image of a function are, and believe those terms to be well-defined. I have read that range is ambiguous, so I avoid it.
However for any given function the image has infinitely many supersets. It seems rather arbitrary to me which one we pick to be the codomain.
Is it governed by some informal convention of mathematicians?
Clearly, $\Bbb N$, $\Bbb R$, and $\Bbb C$ are popular, hence the symbols. However if, say, $\Bbb N$ is the codomain of the floor function, than it can just as well be $\Bbb R$ or $\Bbb C$.
In case of numbers you could argue, that one should pick the most restrictive among $\Bbb N$ and $\Bbb R$ and $\Bbb C$, but what about functions that do not evaluate to numbers?