Permutation is the word, and yes, that (as a map) is a bijection. A derangement is a permutation without fixed points. > [...] Regarding cycles: can a permutation of the naturals have an infinite cycle (my guess: no)?