The concept of neighborhood maps was looked at in [a previous question](https://mathoverflow.net/questions/300356/neighborhood-maps-for-graphs-g-with-deltag-geq-2).


Let $G= (V,E)$ be a simple, undirected graph. For $v\in V$ we set $N(v) = \{w\in V: \{v,w\} \in E\}$. Note that we always have $v\notin N(v)$. A function $f:V\to V$ is said to be a *neighborhood map* if $f(v)\in N(v)$ for all $v\in V$.


Does there exist a graph $G=(V,E)$ that admits an injective neighborhood map, but not a bijective one? 


(Clearly, if such a graph exists, it is necessarily infinite.)



Injective, but no bijective neighborhood map
The answer is no.
If $f:V \to V$ is an injective map, it is a disjoint union of finite cycles, copies of the successor function in $\mathbb{Z}$ and copies of the successor function in $\mathbb{N}$. Leave the first two kinds alone and replace all of the third kind by (the appropiate copy of) the function that swaps each even natural number with its successor. We now obtain a bijection and if the original function $f$ was a neighborhood map, the new one is also a neighborhood map. 
Note that the cardinality of $V$ is not relevant.


