I'm not sure I understand either. Any one-to-one function where the name falls under the inverse image of the range works (notably, stupid things like the ident

I'm not sure I understand either. Any one-to-one function where the name falls under the inverse image of the range works (notably, stupid things like the identity mapping along with, you know, binary representations, etc).