There's no real problem with defining the codomain to be too big. Although you can indeed also pick the non-zero reals as the co-domain.